A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments

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

2017

Abstract

Combined Fragments (CF) are the new features added to UML2.0 sequence diagrams (SD). They have widely increased its expressiveness power, permitting to model complex behaviours, they can be nested to allow more sophisticated behaviours. We focus on the most popular CF of control-flow ALT, OPT, LOOP, SEQ allowing to model respectively alternative, optional, iterative and sequential behaviours. They require a meticulous processing for the generation of partial order between their events. We proposed in a previous work, a causal semantics based on partial order theory, which is suitable for deriving of all possible valid traces for sequence diagrams with CF modelling behaviours of distributed systems. In this work, to deal with nested CF, we first update the formalization of sequence diagram, then we extend this semantics.

References

  1. Abrial, J.-R. (1996). The B Book. Cambridge University Press.
  2. Alur, R., Holzmann, G. J., and Peled, D. (1996). An Analyzer for Message Sequence Charts. In SOFTWARE CONCEPTS AND TOOLS, pages 304-313.
  3. Cardoso, J. and Sibertin-Blanc, C. (2001). Ordering Actions in Sequence Diagrams of UML. In 23rd International Conference on Information Technology Interfaces, pages 3-14, J. Marohnica bb, 10000 Zagreb, Croatia. University Computing Centre Uniersity of Zagreb.
  4. Cardoso, Janette and Sibertin-Blanc, Christophe (2002). An Operational Semantics for UML Interaction: Sequencing of Actions and Local Control. European Journal of Automatised Systems, APII-JESA, 36(7):1015-1028.
  5. Cengarle, M. V., Graubmann, P., Wagner, S., and München, T. U. (2005). Semantics of UML 2.0 Interactions with Variabilities.
  6. 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.
  7. Dhaou, F., Mouakher, I., Attiogbé, C., and Bsaïes, K. (2016). Refinement of UML2.0 Sequence Diagrams for Distributed Systems. In Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pages 310-318.
  8. Gàbor Huszerl, Hélène Waeselynck (ed.), Z. E. A. K. Z. M. (2008). Refined Design and Testing Framework, Methodology and Application Results.
  9. 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, page 614.
  10. Hammal, Y. (2006). Branching Time Semantics for UML 2.0 Sequence Diagrams. Lecture Notes in Computer Science: Formal Techniques for Networked and Distributed Systems - FORTE 2006, pages 259-274.
  11. Harel, D. and Maoz, S. (2008). Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and System Modeling, 7(2):237-252.
  12. Knapp, A. and Wuttke., J. (2006). Model Checking of UML 2.0 Interactions. In Khne, T., editor, Models in Software Engineering, pages 42-51. Springer.
  13. Object Management Group (2009). OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2.
  14. O.Tahir, C.-B. and J.Cardoso (2005). A Causality-Based Semantics for UML Sequence Diagrams. In 23rd IASTED International Conference on Software Engineering, pages 106-111. Acta Press.
  15. øystein Haugen, Knut Eilif Husa, R. K. R. and STAIRS (2005). Towards Formal Design with Sequence Diagrams. In Software and System Modeling, volume 4, pages 355-357. John Wiley & Sons, Inc.
  16. Rudolph, E., Grabowski, J., and Graubmann, P. (1996). Tutorial on Message Sequence Charts (MSC'96).
  17. Shen, H. (2013). A Formal Framework for Analyzing Sequence Diagram. PhD thesis.
  18. Sibertin-Blanc, C. and Tahir, O. (2006). From UML1.x to UML 2.0 Semantics for Sequence Diagrams. In Ramos, F. F., Lrios, R. V., and Unger, H., editors, IEEE International Symposium and School on Advance Distributed Systems (ISSADS), Mexico (Mexique). IEEE.
  19. Sibertin-Blanc, C., T. O. and J., C. (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.
Download


Paper Citation


in Harvard Style

Dhaou F., Mouakher I., Attiogbé J. and Bsaies K. (2017). A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-250-9, pages 47-56. DOI: 10.5220/0006314100470056


in Bibtex Style

@conference{enase17,
author={Fatma Dhaou and Ines Mouakher and J. Christian Attiogbé and Khaled Bsaies},
title={A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2017},
pages={47-56},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006314100470056},
isbn={978-989-758-250-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
SN - 978-989-758-250-9
AU - Dhaou F.
AU - Mouakher I.
AU - Attiogbé J.
AU - Bsaies K.
PY - 2017
SP - 47
EP - 56
DO - 10.5220/0006314100470056