Transformation and composition of software design models for Model Driven Development

Dulani Apeksha Meedeniya; Galhenage Indika Udaya Shantha Perera; Juliana Kuster Filipe Bowles

doi:10.1109/ICIINFS.2015.7398981

Transformation and composition of software design models for Model Driven Development

Dulani Apeksha Meedeniya, Galhenage Indika Udaya Shantha Perera, Juliana Kuster Filipe Bowles

School of Computer Science

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

2 Citations (Scopus)

2 Downloads (Pure)

Abstract

Software models play a significant role with the growth of software system development based on Model Driven Development (MDD) approach. Model transformations and compositions are the heart of MDD and allow the development of complex systems and their automated derivation. Moreover, software development of large and complex systems uses a collection of models, where model composition and decomposition are required. Various research studies have been done on specifying and executing MDD processes; however only a few of those have considered the validity of such transformations, thus safe composition and decomposition of models. This paper presents a general approach for model composition for the transformation from UML sequence diagrams to Coloured Petri Nets and validates the correctness of model composition using a mathematical proof. These transformations are based on formal rules, which have already been proven to be strongly consistent.

Original language	English
Title of host publication	Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)
Publisher	IEEE
Pages	31-36
ISBN (Print)	9781509017416
DOIs	https://doi.org/10.1109/ICIINFS.2015.7398981
Publication status	Published - 18 Dec 2015
Event	2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS) - Peradeniya, Sri Lanka Duration: 17 Dec 2015 → 20 Dec 2015

Conference

Conference	2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)
Country/Territory	Sri Lanka
City	Peradeniya
Period	17/12/15 → 20/12/15

Keywords

UML sequence diagram
Colour Petri net
Model transformation
Model composition

Access to Document

10.1109/ICIINFS.2015.7398981

ICIIS 2015-TransformationAndCompositionOfSoftwareDesignModels
© 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 ieeexplore.ieee.org / https://dx.doi.org/10.1109/ICIINFS.2015.7398981
Accepted author manuscript, 755 KB

Cite this

@inproceedings{30d2ba7cf58d44d88b8114e766c4daa8,

title = "Transformation and composition of software design models for Model Driven Development",

abstract = "Software models play a significant role with the growth of software system development based on Model Driven Development (MDD) approach. Model transformations and compositions are the heart of MDD and allow the development of complex systems and their automated derivation. Moreover, software development of large and complex systems uses a collection of models, where model composition and decomposition are required. Various research studies have been done on specifying and executing MDD processes; however only a few of those have considered the validity of such transformations, thus safe composition and decomposition of models. This paper presents a general approach for model composition for the transformation from UML sequence diagrams to Coloured Petri Nets and validates the correctness of model composition using a mathematical proof. These transformations are based on formal rules, which have already been proven to be strongly consistent.",

keywords = "UML sequence diagram, Colour Petri net, Model transformation, Model composition",

author = "Meedeniya, {Dulani Apeksha} and Perera, {Galhenage Indika Udaya Shantha} and Bowles, {Juliana Kuster Filipe}",

year = "2015",

month = dec,

day = "18",

doi = "10.1109/ICIINFS.2015.7398981",

language = "English",

isbn = "9781509017416",

pages = "31--36",

booktitle = "Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)",

publisher = "IEEE",

note = "2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS) ; Conference date: 17-12-2015 Through 20-12-2015",

}

Meedeniya, DA, Perera, GIUS & Bowles, JKF 2015, Transformation and composition of software design models for Model Driven Development. in Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS). IEEE, pp. 31-36, 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS), Peradeniya, Sri Lanka, 17/12/15. https://doi.org/10.1109/ICIINFS.2015.7398981

Transformation and composition of software design models for Model Driven Development. / Meedeniya, Dulani Apeksha; Perera, Galhenage Indika Udaya Shantha; Bowles, Juliana Kuster Filipe.
Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS). IEEE, 2015. p. 31-36.

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

TY - GEN

T1 - Transformation and composition of software design models for Model Driven Development

AU - Meedeniya, Dulani Apeksha

AU - Perera, Galhenage Indika Udaya Shantha

AU - Bowles, Juliana Kuster Filipe

PY - 2015/12/18

Y1 - 2015/12/18

N2 - Software models play a significant role with the growth of software system development based on Model Driven Development (MDD) approach. Model transformations and compositions are the heart of MDD and allow the development of complex systems and their automated derivation. Moreover, software development of large and complex systems uses a collection of models, where model composition and decomposition are required. Various research studies have been done on specifying and executing MDD processes; however only a few of those have considered the validity of such transformations, thus safe composition and decomposition of models. This paper presents a general approach for model composition for the transformation from UML sequence diagrams to Coloured Petri Nets and validates the correctness of model composition using a mathematical proof. These transformations are based on formal rules, which have already been proven to be strongly consistent.

AB - Software models play a significant role with the growth of software system development based on Model Driven Development (MDD) approach. Model transformations and compositions are the heart of MDD and allow the development of complex systems and their automated derivation. Moreover, software development of large and complex systems uses a collection of models, where model composition and decomposition are required. Various research studies have been done on specifying and executing MDD processes; however only a few of those have considered the validity of such transformations, thus safe composition and decomposition of models. This paper presents a general approach for model composition for the transformation from UML sequence diagrams to Coloured Petri Nets and validates the correctness of model composition using a mathematical proof. These transformations are based on formal rules, which have already been proven to be strongly consistent.

KW - UML sequence diagram

KW - Colour Petri net

KW - Model transformation

KW - Model composition

U2 - 10.1109/ICIINFS.2015.7398981

DO - 10.1109/ICIINFS.2015.7398981

M3 - Conference contribution

SN - 9781509017416

SP - 31

EP - 36

BT - Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)

PB - IEEE

T2 - 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)

Y2 - 17 December 2015 through 20 December 2015

ER -

Transformation and composition of software design models for Model Driven Development

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this