Exploring Formal Model Transformation Techniques within Model Driven Engineering

Authors

Zhu Zhi, College of System Engineering, National University of Defense Technology, Changsha 410073, China;
Lei Sen, College of System Engineering, National University of Defense Technology, Changsha 410073, China;
Yonglin Lei, College of System Engineering, National University of Defense Technology, Changsha 410073, China;

Abstract

Abstract: With the increasing complexity of simulation system and the wide use of simulation models, the higher requirements of the efficiency and quality for simulation models are needed. Currently, model-driven engineering is mostly applied in many simulation software tools, which cannot really carry out the formal analysis at the model level. Based on model driven engineering, the domain specific language with metamodeling and engineering model continuity is designed. Taking a group fire control channel system as the example, the domain specific language is designed and the conceptual models are transformed into other precise semantics to carry out the final executable simulations. The research results can effectively guide the model transformation, which can improve the efficiency and quality of simulation models.

Recommended Citation

Zhi, Zhu; Sen, Lei; and Lei, Yonglin (2021) "Exploring Formal Model Transformation Techniques within Model Driven Engineering," Journal of System Simulation: Vol. 33: Iss. 9, Article 13.
DOI: 10.16182/j.issn1004731x.joss.20-0374
Available at: https://dc-china-simulation.researchcommons.org/journal/vol33/iss9/13

First Page

2119

Revised Date

2020-08-17

DOI Link

https://doi.org/10.16182/j.issn1004731x.joss.20-0374

Last Page

2127

CLC

TP391

Recommended Citation

Zhu Zhi, Lei Sen, Lei Yonglin. Exploring Formal Model Transformation Techniques within Model Driven Engineering[J]. Journal of System Simulation, 2021, 33(9): 2119-2127.

DOI

10.16182/j.issn1004731x.joss.20-0374