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] UMDD: User Model Driven Software Development
Wang, Xiaochun
Shi, Yuanchun
EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 477 - 483
[32] Recommender System for Model Driven Software Development
Koegel, Stefan
ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 1026 - 1029
[33] Model-driven software development - Introduction
Sabbah, Daniel
IBM SYSTEMS JOURNAL, 2006, 45 (03)
[34] Model driven development of software product lines
Braganca, Alexandre
Machado, Ricardo J.
QUATIC 2007: 6TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PROCEEDINGS, 2007, : 199 - +
[35] A model-driven engineering design process for the development of control software for Intralogistics Systems
Aicher, Thomas
Fottner, Johannes
Vogel-Heuser, Birgit
AT-AUTOMATISIERUNGSTECHNIK, 2022, 70 (02) : 164 - 180
[36] On the influence of test-driven development on software design
Janzen, David S.
Saiedian, Hossein
19TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS, 2006, : 141 - +
[37] Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software
Liu, Xiaojian
Zhu, Zhilin
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 274 : 33 - 50
[38] Suitability of Modern Software Development Methodologies for Model Driven Development
Picek, Ruben
JOURNAL OF INFORMATION AND ORGANIZATIONAL SCIENCES, 2009, 33 (02) : 285 - 295
[39] Model driven security framework for software design and verification
Deveci, Engin
Caglayan, Mehmet U.
SECURITY AND COMMUNICATION NETWORKS, 2015, 8 (16) : 2768 - 2792
[40] Model-Driven Approach to Software Architecture Design
Perovich, Daniel
Cecilia Bastarrica, Maria
Rojas, Cristian
2009 ICSE WORKSHOP ON SHARING AND REUSING ARCHITECTURAL KNOWLEDGE, 2009, : 1 - 8

← 1 2 3 4 5 →