Show simple item record

Files in this item


Item metadata

dc.contributor.authorBowles, Juliana Kuster Filipe
dc.contributor.authorAlwanain, Mohammed
dc.contributor.authorBordbar, Behzad
dc.contributor.authorChen, Y.
dc.contributor.editorHammoudi, Slimane
dc.contributor.editorFerreira Pires, Luís
dc.contributor.editorFilipe, Joaquim
dc.contributor.editordas Neves, Rui César
dc.identifier.citationBowles , J K F , Alwanain , M , Bordbar , B & Chen , Y 2015 , Matching and merging scenarios automatically with Alloy . in S Hammoudi , L Ferreira Pires , J Filipe & R C das Neves (eds) , Model-Driven Engineering and Software Development : Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers . Communications in Computer and Information Science , vol. 506 , Springer , Cham , pp. 100-116 , International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014) , Lisbon , Portugal , 7/01/14 .
dc.identifier.otherPURE: 216121824
dc.identifier.otherPURE UUID: 073401c1-7f3f-4392-99eb-e4fe4007ff91
dc.identifier.otherScopus: 84952054429
dc.identifier.otherORCID: /0000-0002-5918-9114/work/58055303
dc.identifier.otherWOS: 000369181900007
dc.description.abstractThe 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.
dc.relation.ispartofModel-Driven Engineering and Software Developmenten
dc.relation.ispartofseriesCommunications in Computer and Information Scienceen
dc.rights© 2015, Publisher / the Author(s). This work is made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at /
dc.subjectUML sequence diagramsen
dc.subjectModel transformationen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.titleMatching and merging scenarios automatically with Alloyen
dc.typeBook itemen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen

This item appears in the following Collection(s)

Show simple item record