Refinement of UML2.0 Sequence Diagrams for Distributed Systems

Fatma Dhaou, Ines Mouakher, Christian Attiogbé, Khaled Bsaies

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.

References

  1. Dhaou, F., Mouakher, I., Attiogbé, C., and Bsaies, K. (2015). Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, pages 339-347.
  2. Fischbein, D., Uchitel, S., and Braberman, V. (2006). A Foundation for Behavioural Conformance in Software Product Line Architectures. pages 39-48.
  3. Harald, S. (2003). Semantics of Interactions in UML 2.0. In HCC, pages 129-136.
  4. Kruger, I. H. (2000). Distributed System Design with Message Sequence Charts.
  5. Leuschel, Michael and Butler, Michael (2005). Automatic Refinement Checking for B. In Lau, Kung-Kiu and Banach, Richard, editor, Formal Methods and Software Engineering, volume 3785 of Lecture Notes in Computer Science, pages 345-359. Springer Berlin / Heidelberg.
  6. Lu, L. and Kim., D.-K. (2011). Required Behavior of Sequence Diagrams: Semantics and Refinement. In 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pages 127- 136.
  7. Object Management Group (2009). OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2.
  8. Ohlhoff, A. (2006). Consistent Refinement of Sequence Diagrams in the UML2.0. PhD thesis, ChristianAlbrechts-Universitat zu Kiel, Department of Computer Science Real -time Embedded System Group.
  9. øystein Haugen, Husa, K. E., Runde, R. K., and STAIRS (2005). Towards Formal Design with Sequence Diagrams. In Software and System Modeling, volume 4, pages 355-357. John Wiley & Sons, Inc.
  10. Peter M. Musial (2012). Using Timed Input/Output Automata for Implementing Distributed Systems.
  11. RODIN, P. I.-. (2007). Rigorous Open Development Environment for Complex Systems. In RODIN Deliverable D28 Report on Assessment of Tools and Methods.
  12. Schneider, Steve and Treharne, Helen and Wehrheim, Heike (2012). The behavioural semantics of Event-B refinement. Formal Aspects of Computing, 26(2):251-280.
Download


Paper Citation


in Harvard Style

Dhaou F., Mouakher I., Attiogbé C. and Bsaies K. (2016). Refinement of UML2.0 Sequence Diagrams for Distributed Systems . In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 310-318. DOI: 10.5220/0006005403100318


in Bibtex Style

@conference{icsoft-ea16,
author={Fatma Dhaou and Ines Mouakher and Christian Attiogbé and Khaled Bsaies},
title={Refinement of UML2.0 Sequence Diagrams for Distributed Systems},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},
year={2016},
pages={310-318},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006005403100318},
isbn={978-989-758-194-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - Refinement of UML2.0 Sequence Diagrams for Distributed Systems
SN - 978-989-758-194-6
AU - Dhaou F.
AU - Mouakher I.
AU - Attiogbé C.
AU - Bsaies K.
PY - 2016
SP - 310
EP - 318
DO - 10.5220/0006005403100318