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

共 50 条

[31] A Description and Transformation Approach for Model Driven Architecture
Wang, Lei
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION APPLICATIONS (ICCIA 2012), 2012, : 761 - 764
[32] SysML Models and Model Transformation for Security
Lugou, Florian
Li, Letitia W.
Apvrille, Ludovic
Ameur-Boulifa, Rabea
PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 331 - 338
[33] Specification-driven model transformation testing
Esther Guerra
Mathias Soeken
Software & Systems Modeling, 2015, 14 : 623 - 644
[34] Incremental Model Transformation with Epsilon in Model-Driven Engineering
Ghorbani, Marzieh
Sharbaf, Mohammadreza
Zamani, Bahman
ACTA INFORMATICA PRAGENSIA, 2022, 11 (02) : 179 - 204
[35] Using Model Transformation Semantics for Aspects Composition
Ajila, Samuel A.
Petriu, Dorina
Motshegwa, Pantanowitz
2010 IEEE FOURTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2010), 2010, : 325 - 332
[36] A formal model driven approach to dependable software evolution
Chen, Feng
Yang, Hongji
Qiao, Bing
Chu, William Cheng-Chung
30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 205 - +
[37] A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems
Nakagawa, Hiroyuki
Ogata, Shinpei
Aoki, Yoshitaka
Kobayashi, Kazuki
PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 815 - 822
[38] Model composition in Model Driven Engineering: A systematic literature review
Abouzahra, Anas
Sabraoui, Ayoub
Afdel, Karim
INFORMATION AND SOFTWARE TECHNOLOGY, 2020, 125
[39] Sytematic Usage of Models for the Development of Industrial Automation Systems Increasing efficiency using model-driven development
Maurmaier, Mathias
Goehner, Peter
AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (06) : 436 - 452
[40] Model interoperability via Model Driven Development
Ameedeen, Mohamed A.
Bordbar, Behzad
Anane, Rachid
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2011, 77 (02) : 332 - 347

← 1 2 3 4 5 →