An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems

Résumé

UML2.X sequence diagrams (SD) are equipped with high structures: the combined fragments (CF) that permit to model complex behaviours of systems. CF can be nested to allow more sophisticated behaviours, however they complicate the interpretation of the SD and the computation of precedence relations between the events. In a previous work, we proposed a causal semantics for UML2.X SD. It is based partial order theory, its well-defined relations allow the computation of all precedence relations for the events of UML2.X SD with nested CF. We considered the most popular CF of control-flow alt, opt, loop, seq allowing to model respectively alternative, optional, iterative and sequential behaviours. In this work, we improve that previous work to consider a par CF allowing to model parallel behaviours, and we propose an operational semantics that is based on the causal semantics. The proposed operational semantics is a substantial step towards the refinement checking and the analysis of some properties of SD.
Fichier principal
Vignette du fichier
BookChapter_OpSem_DhaouEtAll.pdf (595.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02091932 , version 1 (09-04-2019)

Identifiants

Citer

Fatma Dhaou, Inès Mouakher, Khaled Bsaïes, Christian Attiogbé. An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems. Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩. ⟨hal-02091932⟩
77 Consultations
116 Téléchargements

Altmetric

Partager

More