A recent approach to tackle the ever increasing complexity of simulation system is model-driven engineering (MDE). However, it is mostly used to produce simulation tools, and seldom can perform formal analysis. Consequently, this raises issues like poor qualities of product, and falls short of non-functional requirements such as extensibility, maintainability, and reuse. In general, many of the success of MDE projects depend on the descriptive power of modeling languages and how conceptual models are implemented. Hence, this paper presents contributions in two main aspects: customizing domain specific language by metamodeling and enhancing model continuity by formalizing model transformations. A military application is used as a motivating example to illustrate the whole process by transforming the conceptual models into other more precise formalisms until they reach final executable models.

解决仿真系统日益复杂的最新方法是模型驱动工程 (MDE)。但多用于制作仿真工具，很少能进行形式化分析。因此，这会引发产品质量差等问题，并不能满足可扩展性、可维护性和可重用性等非功能性要求。一般而言，MDE 项目的许多成功取决于建模语言的描述能力以及概念模型的实现方式。因此，本文提出了两个主要方面的贡献：通过元建模定制领域特定语言和通过形式化模型转换来增强模型连续性。