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
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


Files produced by the author(s)


  • HAL Id : hal-01686331, version 1


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⟩



Record views


Files downloads