Journal of System Simulation ›› 2021, Vol. 33 ›› Issue (9): 2119-2127.doi: 10.16182/j.issn1004731x.joss.20-0374

Previous Articles     Next Articles

Exploring Formal Model Transformation Techniques within Model Driven Engineering

Zhu Zhi, Lei Sen, Lei Yonglin   

  1. College of System Engineering, National University of Defense Technology, Changsha 410073, China
  • Received:2020-06-17 Revised:2020-08-17 Online:2021-09-18 Published:2021-09-17

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.

Key words: model driven engineering, metamodeling, model transformation, language engineering

CLC Number: