Paper Info
Title
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.
Year
DOI
Venue
2016
10.5220/0006005403100318
ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1
Keywords
Field
DocType
UML2.0 Sequence Diagrams, Refinement Relation, Sequence Diagrams Refinement, Event-B
Sequence diagram,Computer science,Correctness,Liveness,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Fatma Dhaou100.34
Inès Mouakher201.69
Christian Attiogbé310219.83
K. Bsaïes44512.46