Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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

Résumé

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.
Fichier principal
Vignette du fichier
ICSOFT-EA_2015_43_fatma.pdf (268.33 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01686275 , version 1 (17-01-2018)

Identifiants

Citer

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⟩
63 Consultations
112 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More