Transformation and Composition of Software Design Models for Model Driven Development

被引：0

作者：

Meedeniya, Dulani ^{[1
]}

Perera, Indika ^{[1
]}

Bowles, Juliana ^{[2
]}

机构：

[1] Univ Moratuwa, Dept Comp Sci & Engn, Moratuwa, Sri Lanka

[2] Univ St Andrews, Sch Comp Sci, St Andrews, Fife, Scotland

来源：

2015 IEEE 10TH INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS (ICIIS) | 2015年

关键词：

UML sequence diagram; Coloured Petri net; model transformation; model composition; SEQUENCE DIAGRAMS; PETRI NETS;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：31 / 36

页数：6