Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems

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

Abstract

The imprecision of the definitions of UML2.0 sequence diagrams, given by the Object Management Group (OMG), does not allow the obtention of all the possible valid behaviours for a given distributed system, when communicating objects are independent. We choose the causal semantics, which is suitable for this kind of systems; we propose its extension to support complex behaviours, expressed with combined fragments. We propose the implementation of our approach with Event-B in order to check later on some properties of safety, liveness and fairness.

References

  1. Akram, I. (2006). Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des systèmes d'information: Approche par méta-modélisation. In Actes du 24ème congrés INFORSID, Tunisie.
  2. Aredo, D. B. (2000). Semantics of UML sequence diagram in PVS. Technical report, Online Proc. of UML2000 Workshop on Dynamic Behavior in UML models: Semantic Questions.
  3. Cardoso, J. and Sibertin-Blanc., C. (2001). Ordering actions in sequence diagrams of UML. In 23rd Int. Conf. on Information Technology Interfaces, pages 3-14.
  4. Cengarle, M. V., Graubmann, P., Wagner, S., and Munchen, T. U. (2006). Semantics of UML 2.0 Interactions with Variabilities.
  5. Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., and Stehno, C. (2005). Compositional semantics for UML 2.0 sequence diagrams using Petri Nets. Lecture Notes in Computer Science, 3530:133-148.
  6. Grosu, R. and Smolka, S. (2005). Safety-liveness semantics for UML 2.0 sequence diagrams. In 5th Int. Conf. on Application of Concurrency to System Design, pages 6-14.
  7. Haugen, Ø., Husa, K. E., Runde, R. K., and Stølen, K. (2005). STAIRS towards formal design with sequence diagrams. In Software and System Modeling, volume 4, pages 355-357. John Wiley & Sons, Inc.
  8. Laleau R., P. F. (2002). Coming and Going from UML to B : A Proposal to Support Traceability in Rigorous IS Development. In 2nd International Conference of B and Z Users, number 2272, pages 517-534. Springer.
  9. Lano, K., Clark, D., and Androutsopoulos, K. (2001). UML to B: Formal verification of object-oriented models. In Proc. 4th Intl. Conf. Integrated Formal Methods (IFM2004), number 2999, pages 187-206. Springer.
  10. Ledang, H. and Souquières, J. (2002). Contributions for Modelling UML State-Charts in B. Lecture Notes in Computer Science, (2335):109127.
  11. Micskei, Z. and Waeselynck, H. (2011). The many meanings of UML2.0 Sequence Diagrams: a survey. Software & Systems Modeling, 10(4):489-514.
  12. Sibertin-Blanc, C., Tahir, O., and Cardoso, J. (2005). Interpretation of UML Sequence Diagrams as Causality Flows. In Advanced Distributed Systems, 5th Int. School and Symposium (ISSAD), number 3563, pages 126-140. Acta Press.
  13. Störrle, H. (2003). Semantics of Interactions in UML 2.0. In HCC, pages 129-136.
  14. Tahir, O., Sibertin-Blanc, C., and Cardoso, J. (2005). A Causality-Based Semantics for UML Sequence Diagrams. In 23rd IASTED International Conference on Software Engineering, pages 106-111. Acta Press.
  15. Whittle, J. and Schumann, J. (2000). Generating statechart designs from scenarios. In ICSE 7800: Proceedings of the 22nd international conference on Software engineering, pages 314-323. ACM Press.
Download


Paper Citation


in Harvard Style

Dhaou F., Mouakher I., Attiogbé C. and Bsaies K. (2015). Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems . In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015) ISBN 978-989-758-114-4, pages 339-347. DOI: 10.5220/0005517703390347


in Bibtex Style

@conference{icsoft-ea15,
author={Fatma Dhaou and Ines Mouakher and Christian Attiogbé and Khaled Bsaies},
title={Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)},
year={2015},
pages={339-347},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005517703390347},
isbn={978-989-758-114-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)
TI - Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
SN - 978-989-758-114-4
AU - Dhaou F.
AU - Mouakher I.
AU - Attiogbé C.
AU - Bsaies K.
PY - 2015
SP - 339
EP - 347
DO - 10.5220/0005517703390347