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

https://hal.archives-ouvertes.fr/hal-01686275
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

File

ICSOFT-EA_2015_43_fatma.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

60

Files downloads

94