loading
Papers Papers/2022 Papers Papers/2022

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

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.

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 3.15.6.77

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 (ICSOFT 2016) - ICSOFT-EA; ISBN 978-989-758-194-6, SciTePress, 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 (ICSOFT 2016) - ICSOFT-EA},
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 (ICSOFT 2016) - ICSOFT-EA
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic