Authors:
Fatma Dhaou
1
;
Ines Mouakher
1
;
J. Christian Attiogbé
2
and
Khaled Bsaies
1
Affiliations:
1
Faculty of Sciences of Tunis, Tunisia
;
2
University of Nantes, France
Keyword(s):
UML2.X Sequence Diagrams, Semantics, Combined Fragments, Guard Evaluation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Formal Methods
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Requirements Engineering
;
Service-Oriented Software Engineering and Management
;
Simulation and Modeling
;
Software and Systems Development Methodologies
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Symbolic Systems
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.