Automated composition of sequence diagrams via alloy

Mohammed Alwanain; Behzad Bordbar; Juliana K F Bowles

Automated composition of sequence diagrams via alloy

Mohammed Alwanain, Behzad Bordbar, Juliana K F Bowles

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

7 Citations (Scopus)

202 Downloads (Pure)

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 language	English
Title of host publication	MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	384-391
Number of pages	8
ISBN (Print)	978-9-8975-8065-9
Publication status	Published - 2014
Event	2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014 - Lisbon, Portugal Duration: 7 Jan 2014 → 9 Jan 2014

Conference

Conference	2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014
Country/Territory	Portugal
City	Lisbon
Period	7/01/14 → 9/01/14

Keywords

Alloy
Composition
Model transformation
UML sequence diagrams

ASJC Scopus subject areas

Software

Access to Document

Alwanain_et_al_Automated_composition_Post-Print
(c) 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Checked Jan 2016
Accepted author manuscript, 235 KBLicence: None: All rights reserved

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7018487&tag=1

Cite this

@inproceedings{dddfd2a07b744e99a5b6f61aa704d68f,

title = "Automated composition of sequence diagrams via alloy",

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

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

author = "Mohammed Alwanain and Behzad Bordbar and Bowles, {Juliana K F}",

year = "2014",

language = "English",

isbn = "978-9-8975-8065-9",

pages = "384--391",

booktitle = "MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

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

}

Alwanain, M, Bordbar, B & Bowles, JKF 2014, Automated composition of sequence diagrams via alloy. in MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Institute of Electrical and Electronics Engineers (IEEE), pp. 384-391, 2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, Lisbon, Portugal, 7/01/14. <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7018487&tag=1>

Automated composition of sequence diagrams via alloy. / Alwanain, Mohammed; Bordbar, Behzad; Bowles, Juliana K F.
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Institute of Electrical and Electronics Engineers (IEEE), 2014. p. 384-391.

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

TY - GEN

T1 - Automated composition of sequence diagrams via alloy

AU - Alwanain, Mohammed

AU - Bordbar, Behzad

AU - Bowles, Juliana K F

PY - 2014

Y1 - 2014

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

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

KW - Alloy

KW - Composition

KW - Model transformation

KW - UML sequence diagrams

UR - http://www.scopus.com/inward/record.url?scp=84906902067&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84906902067

SN - 978-9-8975-8065-9

SP - 384

EP - 391

BT - MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - 2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014

Y2 - 7 January 2014 through 9 January 2014

ER -

Automated composition of sequence diagrams via alloy

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this