Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Soft Computing and Software Engineering Année : 2013

Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams

Chadlia Jerad
  • Fonction : Auteur
  • PersonId : 964566
Kamel Barkaoui

Résumé

Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics is still informal. The Interaction Overview Diagram (IOD) is introduced in UML2; it allows the specification of the behavior in the hierarchical way. In this paper, we make a contribution towards a formal dynamic semantics of UML2. We start by formalizing the Hierarchical use of IOD. Afterward, we complete the mapping of IOD, Sequence Diagrams and Timing Diagrams into Hierarchical Colored Petri Nets (HCPNs) using the Timed colored Petri Nets (timed CP-net). Our approach helps designers to get benefits from abstraction as well as refinement at more than two levels of hierarchy which reduces verification complexity.
Fichier principal
Vignette du fichier
1401.5612.pdf (1010.69 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-02479419 , version 1 (31-10-2021)

Identifiants

Citer

Aymen Louati, Chadlia Jerad, Kamel Barkaoui. Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. International Journal of Soft Computing and Software Engineering, 2013, 3 (3), pp.205-211. ⟨10.7321/jscse.v3.n3.31⟩. ⟨hal-02479419⟩
20 Consultations
13 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More