Skip to Main content Skip to Navigation
Conference papers

Refinement of UML2.0 Sequence Diagrams for Distributed Systems

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01686331
Contributor : Christian Attiogbé Connect in order to contact the contributor
Submitted on : Wednesday, January 17, 2018 - 11:40:54 AM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Long-term archiving on: : Monday, May 7, 2018 - 11:20:26 PM

File

ICSOFT-EA_2016_56_CR_fatma.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01686331, version 1

Citation

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 2016), Jul 2016, Lisbon, Portugal. ⟨hal-01686331⟩

Share

Metrics

Record views

97

Files downloads

90