Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams

Résumé

UML2.X sequence diagrams (SD) permit the modelling of behaviours of systems. With the combined fragments (CF) that can be nested and aggregated in a single SD more complex behaviours can be created. However the standard interpretation and the consideration of all the aspects related to the CF are not obvious to handle, this represses their proper use. We proposed in a previous work, a causal semantics based on partial order theory, which is suitable for the computation of all possible valid traces for UML2.X sequence diagrams with nested CF modelling behaviours of distributed systems. In this work, we deal with an important aspect that is the guard evaluation and the synchronization between the lifelines that are complex issues.
Fichier principal
Vignette du fichier
ENASE_2018_Guard_46_CR.pdf (208.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02090259 , version 1 (08-04-2019)

Identifiants

Citer

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbe, Khaled Bsaïes. Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩. ⟨hal-02090259⟩
78 Consultations
64 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More