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.

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