Transformation and composition of software design models for Model Driven Development

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

View/Open

ICIIS_2015_TransformationAndCompositionOfSoftwareDesignModels.pdf (755.3Kb)

Date

18/12/2015

Altmetrics Handle Statistics

Altmetrics DOI Statistics

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.

Citation

Meedeniya , D A , Perera , G I U S & Bowles , J K F 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

conference

Publication

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

DOI

https://doi.org/10.1109/ICIINFS.2015.7398981

Type

Conference item

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 ieeexplore.ieee.org / https://dx.doi.org/10.1109/ICIINFS.2015.7398981

Collections

University of St Andrews Research

URI

http://hdl.handle.net/10023/8422