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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02091932
Contributor : Christian Attiogbé <>
Submitted on : Tuesday, April 9, 2019 - 2:36:36 PM
Last modification on : Monday, March 23, 2020 - 4:42:58 PM

File

BookChapter_OpSem_DhaouEtAll.p...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

210

Files downloads

486