Skip to Main content Skip to Navigation
Conference papers

Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems

Abstract : The imprecision of the definitions of UML2.0 sequence diagrams, given by the Object Management Group (OMG), does not allow the obtention of all the possible valid behaviours for a given distributed system, when communicating objects are independent. We choose the causal semantics, which is suitable for this kind of systems; we propose its extension to support complex behaviours, expressed with combined fragments. We propose the implementation of our approach with Event-B in order to check later on some properties of safety, liveness and fairness.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Christian Attiogbé Connect in order to contact the contributor
Submitted on : Wednesday, January 17, 2018 - 11:09:16 AM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Long-term archiving on: : Monday, May 7, 2018 - 3:24:36 PM


Publisher files allowed on an open archive



Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes. Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. 10th International Conference on Software Engineering and Applications, Jul 2015, Colmar, France. ⟨10.5220/0005517703390347⟩. ⟨hal-01686275⟩



Record views


Files downloads