Matching and merging scenarios automatically with Alloy

Juliana Kuster Filipe Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)
3 Downloads (Pure)

Abstract

The 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 to Alloy that preserves the semantics of composition defined. We have created a tool SD2Alloy that implements the technique as follows: two given sequence diagrams are transformed into two Alloy models, and merged according to a set of syntactic logical constraints describing how their elements should be matched. These constraints are in accordance to our compositional semantics. The technique can also be used to detect problems and inconsistencies in the composition of diagrams.
Original languageEnglish
Title of host publicationModel-Driven Engineering and Software Development
Subtitle of host publicationSecond International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
EditorsSlimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
Place of PublicationCham
PublisherSpringer
Pages100-116
Number of pages17
ISBN (Electronic)9783319251561
ISBN (Print)9783319251554
DOIs
Publication statusPublished - 2015
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

Publication series

NameCommunications in Computer and Information Science
PublisherSpringer
Volume506
ISSN (Print)1865-0929

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 diagrams
  • Model transformation
  • Composition
  • Alloy

Fingerprint

Dive into the research topics of 'Matching and merging scenarios automatically with Alloy'. Together they form a unique fingerprint.

Cite this