Matching and merging scenarios automatically with Alloy

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

doi:10.1007/978-3-319-25156-1_7

Matching and merging scenarios automatically with Alloy

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

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 language	English
Title of host publication	Model-Driven Engineering and Software Development
Subtitle of host publication	Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
Editors	Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
Place of Publication	Cham
Publisher	Springer
Pages	100-116
Number of pages	17
ISBN (Electronic)	9783319251561
ISBN (Print)	9783319251554
DOIs	https://doi.org/10.1007/978-3-319-25156-1_7
Publication status	Published - 2015
Event	International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014) - Lisbon, Portugal Duration: 7 Jan 2014 → 9 Jan 2014 http://www.modelsward.org/Home.aspx?y=2014

Publication series

Name	Communications in Computer and Information Science
Publisher	Springer
Volume	506
ISSN (Print)	1865-0929

Conference

Conference	International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
Country/Territory	Portugal
City	Lisbon
Period	7/01/14 → 9/01/14
Internet address	http://www.modelsward.org/Home.aspx?y=2014

Keywords

UML sequence diagrams
Model transformation
Composition
Alloy

Access to Document

10.1007/978-3-319-25156-1_7

book-modelsward-Bowles+etal
© 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 link.springer.com / https://dx.doi.org/10.1007/978-3-319-25156-1_7
Accepted author manuscript, 544 KB

Cite this

Bowles, 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 (pp. 100-116). (Communications in Computer and Information Science; Vol. 506). Springer. https://doi.org/10.1007/978-3-319-25156-1_7

Bowles, Juliana Kuster Filipe ; Alwanain, Mohammed ; Bordbar, Behzad et al. / Matching and merging scenarios automatically with Alloy. Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. editor / Slimane Hammoudi ; Luís Ferreira Pires ; Joaquim Filipe ; Rui César das Neves. Cham : Springer, 2015. pp. 100-116 (Communications in Computer and Information Science).

@inbook{073401c17f3f439299ebe4fe4007ff91,

title = "Matching and merging scenarios automatically with Alloy",

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.",

keywords = "UML sequence diagrams, Model transformation, Composition, Alloy",

author = "Bowles, {Juliana Kuster Filipe} and Mohammed Alwanain and Behzad Bordbar and Y. Chen",

year = "2015",

doi = "10.1007/978-3-319-25156-1_7",

language = "English",

isbn = "9783319251554",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "100--116",

editor = "Slimane Hammoudi and {Ferreira Pires}, Lu{\'i}s and Joaquim Filipe and {das Neves}, {Rui C{\'e}sar}",

booktitle = "Model-Driven Engineering and Software Development",

address = "Netherlands",

note = " International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014) ; Conference date: 07-01-2014 Through 09-01-2014",

url = "http://www.modelsward.org/Home.aspx?y=2014",

}

Bowles, JKF, Alwanain, M, Bordbar, B & Chen, Y 2015, Matching and merging scenarios automatically with Alloy. in S Hammoudi, L Ferreira Pires, J Filipe & RC 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. https://doi.org/10.1007/978-3-319-25156-1_7

Matching and merging scenarios automatically with Alloy. / Bowles, Juliana Kuster Filipe; Alwanain, Mohammed ; Bordbar, Behzad et al.
Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. ed. / Slimane Hammoudi; Luís Ferreira Pires; Joaquim Filipe; Rui César das Neves. Cham: Springer, 2015. p. 100-116 (Communications in Computer and Information Science; Vol. 506).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Matching and merging scenarios automatically with Alloy

AU - Bowles, Juliana Kuster Filipe

AU - Alwanain, Mohammed

AU - Bordbar, Behzad

AU - Chen, Y.

PY - 2015

Y1 - 2015

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

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

KW - UML sequence diagrams

KW - Model transformation

KW - Composition

KW - Alloy

U2 - 10.1007/978-3-319-25156-1_7

DO - 10.1007/978-3-319-25156-1_7

M3 - Chapter

SN - 9783319251554

T3 - Communications in Computer and Information Science

SP - 100

EP - 116

BT - Model-Driven Engineering and Software Development

A2 - Hammoudi, Slimane

A2 - Ferreira Pires, Luís

A2 - Filipe, Joaquim

A2 - das Neves, Rui César

PB - Springer

CY - Cham

T2 - International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)

Y2 - 7 January 2014 through 9 January 2014

ER -

Bowles JKF, Alwanain M, Bordbar B, Chen Y. Matching and merging scenarios automatically with Alloy. In Hammoudi S, Ferreira Pires L, Filipe J, das Neves RC, editors, Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Cham: Springer. 2015. p. 100-116. (Communications in Computer and Information Science). Epub 2015 Dec 11. doi: 10.1007/978-3-319-25156-1_7

Matching and merging scenarios automatically with Alloy

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this