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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02090259
Contributor : Christian Attiogbé <>
Submitted on : Monday, April 8, 2019 - 5:17:37 PM
Last modification on : Friday, April 19, 2019 - 9:51:02 AM

File

ENASE_2018_Guard_46_CR.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

41

Files downloads

8