loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mohammed Alwanain 1 ; Behzad Bordbar 1 and Juliana K. F. Bowles 2

Affiliations: 1 University of Birmingham, United Kingdom ; 2 University of St Andrews, United Kingdom

Keyword(s): UML Sequence Diagrams, Model Transformation, Composition, Alloy.

Related Ontology Subjects/Areas/Topics: Languages, Tools and Architectures ; Model Transformation ; Model-Driven Architecture ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Syntax and Semantics of Modeling Languages

Abstract: Design of large systems often involves the creation of models that describe partial specifications. Model composition is the process of combining partial models to create a single coherent model. This paper presents an automatic composition technique for creating a sequence diagram from partial specifications captured in multiple sequence diagrams with the help of Alloy. Our contribution is twofold: a novel true-concurrent semantics for sequence diagram composition, and a model-driven transformation of sequence diagrams onto Alloy that preserves the semantics of composition defined. We have created a tool called SD2Alloy that implements the automated technique and works as follows: two given sequence diagrams are transformed in two Alloy models, and then combined according to a set of logical constraints, determined by our compositional semantics, into a final composed Alloy model. The technique can also be used to detect problems and inconsistencies in the composition of diagrams.

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

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:
Alwanain, M.; Bordbar, B. and K. F. Bowles, J. (2014). Automated Composition of Sequence Diagrams via Alloy. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-007-9; ISSN 2184-4348, SciTePress, pages 384-391. DOI: 10.5220/0004715003840391

@conference{modelsward14,
author={Mohammed Alwanain. and Behzad Bordbar. and Juliana {K. F. Bowles}.},
title={Automated Composition of Sequence Diagrams via Alloy},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2014},
pages={384-391},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004715003840391},
isbn={978-989-758-007-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Automated Composition of Sequence Diagrams via Alloy
SN - 978-989-758-007-9
IS - 2184-4348
AU - Alwanain, M.
AU - Bordbar, B.
AU - K. F. Bowles, J.
PY - 2014
SP - 384
EP - 391
DO - 10.5220/0004715003840391
PB - SciTePress