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 metadatas

https://hal.archives-ouvertes.fr/hal-02091932
Contributor : Christian Attiogbé <>
Submitted on : Tuesday, April 9, 2019 - 2:36:36 PM
Last modification on : Thursday, April 18, 2019 - 4:48:34 PM

File

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

Identifiers

Collections

Citation

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbe, Khaled Bsaïes. 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

31

Files downloads

6