loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Fatma Dhaou 1 ; Ines Mouakher 2 ; Christian Attiogbé 3 and Khaled Bsaies 4

Affiliations: 1 Faculty of Sciences of Tunis, Tunisia ; 2 Faculty of sciences of Tunis, Tunisia ; 3 University of Nantes, France ; 4 Faculty of Sciences of Tunis

ISBN: 978-989-758-194-6

Keyword(s): UML2.0 Sequence Diagrams, Refinement Relation, Sequence Diagrams Refinement, Event-B.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Requirements Elicitation and Specification ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Refinement process applied to UML2.0 Sequence Diagrams (SD) is adopted to deal with the complexity of modeling distributed systems. The various steps leading to the checking of the refinement of SDs theoretically as well as practically are explained. A refinement relation possessing the necessary properties, is formalized; its implementation in the Event-B method is proposed in order to check the correctness of the refinement of SDs, and to verify some safety, liveness properties and the termination of the new introduced events.

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 35.171.45.91

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é, C. and Bsaies, K. (2016). Refinement of UML2.0 Sequence Diagrams for Distributed Systems.In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 310-318. DOI: 10.5220/0006005403100318

@conference{icsoft-ea16,
author={Fatma Dhaou. and Ines Mouakher. and Christian Attiogbé. and Khaled Bsaies.},
title={Refinement of UML2.0 Sequence Diagrams for Distributed Systems},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},
year={2016},
pages={310-318},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006005403100318},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - Refinement of UML2.0 Sequence Diagrams for Distributed Systems
SN - 978-989-758-194-6
AU - Dhaou, F.
AU - Mouakher, I.
AU - Attiogbé, C.
AU - Bsaies, K.
PY - 2016
SP - 310
EP - 318
DO - 10.5220/0006005403100318

Login or register to post comments.

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