Automated composition of sequence diagrams via Alloy

Mohammed Alwanain, Behzad Bordbar, Juliana Kuster Filipe Bowles

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationMODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
PublisherSciTePress
Pages384-391
Number of pages8
ISBN (Print)9789897580079
DOIs
Publication statusPublished - 2014
Event International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014) - Lisbon, Portugal
Duration: 7 Jan 20149 Jan 2014
http://www.modelsward.org/Home.aspx?y=2014

Conference

Conference International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
Country/TerritoryPortugal
CityLisbon
Period7/01/149/01/14
Internet address

Keywords

  • UML sequence diagram
  • Model transformation
  • Composition
  • Alloy

Fingerprint

Dive into the research topics of 'Automated composition of sequence diagrams via Alloy'. Together they form a unique fingerprint.

Cite this