Transformation and composition of software design models for Model Driven Development
MetadataShow full item record
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.
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.7398981conference
Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)
© 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
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.