loading
Papers

Research.Publish.Connect.

Paper

Authors: Fatma Dhaou 1 ; Ines Mouakher 1 ; J. Christian Attiogbé 2 and Khaled Bsaies 1

Affiliations: 1 University Tunis El Manar, Tunisia ; 2 University of Nantes, France

ISBN: 978-989-758-250-9

Keyword(s): UML2.0 Sequence Diagrams, Semantics, Nested Combined Fragments.

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: 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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.237.51.159

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.