Refinement of UML2.0 Sequence Diagrams for Distributed Systems - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Refinement of UML2.0 Sequence Diagrams for Distributed Systems

Résumé

Refinement process applied to UML2.0 Sequence Diagrams (SD) is adopted to deal with the complexity of modeling distributed systems. The various steps leading to the checking of the refinement of SDs theoretically as well as practically are explained. A refinement relation possessing the necessary properties, is formalized; its implementation in the Event-B method is proposed in order to check the correctness of the refinement of SDs, and to verify some safety, liveness properties and the termination of the new introduced events.
Fichier principal
Vignette du fichier
ICSOFT-EA_2016_56_CR_fatma.pdf (215.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01686331 , version 1

Citer

Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes. Refinement of UML2.0 Sequence Diagrams for Distributed Systems. the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal. ⟨hal-01686331⟩
108 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More