Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams

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

2018

Abstract

UML2.X sequence diagrams (SD) permit the modelling of behaviours of systems. With the combined fragments (CF) that can be nested and aggregated in a single SD more complex behaviours can be created. However the standard interpretation and the consideration of all the aspects related to the CF are not obvious to handle, this represses their proper use. We proposed in a previous work, a causal semantics based on partial order theory, which is suitable for the computation of all possible valid traces for UML2.X sequence diagrams with nested CF modelling behaviours of distributed systems. In this work, we deal with an important aspect that is the guard evaluation and the synchronization between the lifelines that are complex issues.

Download


Paper Citation


in Harvard Style

Dhaou F., Mouakher I., Attiogbé J. and Bsaies K. (2018). Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-300-1, pages 275-282. DOI: 10.5220/0006708102750282


in Bibtex Style

@conference{enase18,
author={Fatma Dhaou and Ines Mouakher and J. Christian Attiogbé and Khaled Bsaies},
title={Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams},
booktitle={Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2018},
pages={275-282},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006708102750282},
isbn={978-989-758-300-1},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
SN - 978-989-758-300-1
AU - Dhaou F.
AU - Mouakher I.
AU - Attiogbé J.
AU - Bsaies K.
PY - 2018
SP - 275
EP - 282
DO - 10.5220/0006708102750282