Institutional-Repository, University of Moratuwa.  

Transformation and composition of software design models for model driven development

Show simple item record Meedeniya, DA Perera, GIUS Bowles, J 2018-05-22T00:11:54Z 2018-05-22T00:11:54Z
dc.description.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. en_US
dc.language.iso en en_US
dc.subject UML sequence diagram; Coloured Petri net; model transformation; model composition en_US
dc.title Transformation and composition of software design models for model driven development en_US
dc.type Conference-Abstract en_US
dc.identifier.faculty Engineering en_US
dc.identifier.department Department of Computer Science and Engineering en_US
dc.identifier.year 2015 en_US
dc.identifier.conference IEEE 10th International Conference on Industrial and Information Systems - ICIIS 2015 en_US Peradeniya, Sri Lanka en_US
dc.identifier.pgnos pp. 31 - 36 en_US en_US en_US en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record