Research Article
Formalizing Model Transformations Within MDE
@INPROCEEDINGS{10.1007/978-3-030-32216-8_3, author={Zhi Zhu and Yongling Lei and Qun Li and Yifan Zhu}, title={Formalizing Model Transformations Within MDE}, proceedings={Simulation Tools and Techniques. 11th International Conference, SIMUtools 2019, Chengdu, China, July 8--10, 2019, Proceedings}, proceedings_a={SIMUTOOLS}, year={2019}, month={10}, keywords={MDE Metamodeling Model transformation Model continuity}, doi={10.1007/978-3-030-32216-8_3} }- Zhi Zhu
Yongling Lei
Qun Li
Yifan Zhu
Year: 2019
Formalizing Model Transformations Within MDE
SIMUTOOLS
Springer
DOI: 10.1007/978-3-030-32216-8_3
Abstract
A recent approach to tackle the ever increasing complexity of military simulation system is model-driven engineering (MDE). However, it is used mostly to produce simulation software tools, and seldom can perform formal analysis on models, resulting in a low degree of simulation model engineering. Consequently, this raises many issues such as inefficient development as well as poor qualities of product, and falls short of non-functional requirements like extensibility, maintainability, and reuse. In general, many of the success of MDE are dependent on the descriptive power of modeling languages and how conceptual models are transformed toward final implementations. Hence, this paper presents contributions in two main aspects of MDE: customizing domain specific language by metamodeling and engineering model continuity by formalizing model transformations. A military simulation application called group fire control channel system is used as a motivating example to illustrate the whole process, transforming conceptual models into other formalisms that have precise definitions of semantics until they reach final executable simulation models.