Skip to Main content Skip to Navigation
Book sections

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

Abstract : 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.
Document type :
Book sections
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Christian Attiogbé Connect in order to contact the contributor
Submitted on : Tuesday, April 9, 2019 - 2:36:36 PM
Last modification on : Monday, September 5, 2022 - 9:54:07 AM


Files produced by the author(s)



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⟩



Record views


Files downloads