Refinement of UML2.0 Sequence Diagrams for Distributed Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Refinement of UML2.0 Sequence Diagrams for Distributed Systems

(1) , (1) , (2) , (3, 1)
1
2
3

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01686331 , version 1

Cite

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⟩
98 View
90 Download

Share

Gmail Facebook Twitter LinkedIn More