基于模型驱动工程的形式化模型转换技术

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

系统仿真学报 ›› 2021, Vol. 33 ›› Issue (9): 2119-2127.doi: 10.16182/j.issn1004731x.joss.20-0374

基于模型驱动工程的形式化模型转换技术

朱智, 雷森, 雷永林

国防科技大学系统工程学院,湖南长沙 410073

收稿日期:2020-06-17 修回日期:2020-08-17 出版日期:2021-09-18 发布日期:2021-09-17
作者简介:朱智(1989-)，男，博士，讲师，研究方向为仿真建模。E-mail：zhuzhi@nudt.edu.cn
基金资助:
国家自然科学基金(61273198)

Exploring Formal Model Transformation Techniques within Model Driven Engineering

Zhu Zhi, Lei Sen, Lei Yonglin

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

摘要： 随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用,用户对仿真模型的开发效率和质量提出了更高的要求。针对当前模型驱动工程主要应用于有关仿真软件工具的工程化实现,尚未达到模型层面而未能进行形式化分析,基于模型驱动工程,从元建模、模型转换两个方面设计了领域特定语言及形式化的模型转换体系,以火控通道控制系统为例,将概念模型自动化转换为具有精确语义形式体系表示的可执行仿真模型,直到最终代码框架的生成。研究成果具有通用性,能为各类模型转换工作提供有效指导,对提升仿真模型的开发效率和质量有重要意义。

关键词: 模型驱动工程, 元建模, 模型转换, 语言工程

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

中图分类号:

TP391

朱智, 雷森, 雷永林. 基于模型驱动工程的形式化模型转换技术[J]. 系统仿真学报, 2021, 33(9): 2119-2127.

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.

参考文献

[1] 张霖, 周龙飞. 制造中的建模仿真技术[J]. 系统仿真学报, 2018, 30(6): 1997-2012.
Zhang Lin, Zhou Longfei.Modeling & Simulation Technology in Manufacturing[J]. Journal of System Simulation, 2018, 30(6): 1997-2012.
[2] 雷永林, 李群, 杨峰, 等. 武器装备效能仿真的可组合建模框架研究[J]. 系统工程理论与实践, 2013, 33(11): 2954-2966.
Lei Yonglin, Li Qun, Yang Feng, et al.A Composable Modeling Framework for Weapon Systems Effectiveness Simulation[J]. Systems Engineering-Theory & Practice, 2013, 33(11): 2954-2966.
[3] Ehrig H, Ermel C.Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation[C]// 4th International Conference on Graph Transformations. Leicester, UK: Springer, 2008: 194-210.
[4] Agarwal S, Dixit S, Aggarwal A.Model to Model Transformation for Declarative Models[J]. International Journal of Computer Science and Engineering (S2347-2693), 2018, 6(11): 164-170.
[5] Ege F, Tichy M.A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations[C]// ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion. Munich, Germany: IEEE, 2019: 326-330.
[6] Mukhtar M A O, Abdullah A, Downe A G. Preliminary Overview about Relations QVT: Query/View/ Transformation Model Transformation Language[C]// 2011 National Postgraduate Conference. Kuala Lumpur, Malaysia: IEEE, 2011: 1-5.
[7] Jouault F, Allilaire F, Bezivin J, et al.ATL: A Model Transformation Tool[J]. Science of Computer Programming (S0167-6423), 2008, 72(1/2): 31-39.
[8] Ghezzi C, Jazayeri M, Mandrioli D.Fundamentals of Software Engineering[M]. 2nd ed. NY: Prentice Hall, 2002: 58-60.
[9] Balci O.A Life Cycle for Modeling and Simulation[J]. Simulation (S2310-4791), 2012, 88(7): 870-883.
[10] 李伯虎, 柴旭东, 张霖, 等. 面向新型人工智能系统的建模与仿真技术初步研究[J]. 系统仿真学报, 2018, 30(2): 349-362.
Li Bohu, Cai Xudong, Zhang Lin, et al.Preliminary Study of Modeling and Simulation Technology Oriented to Neo-type Artificial Intelligent Systems[J]. Journal of System Simulation, 2018, 30(2): 349-362.
[11] Olive A.Conceptual modeling of information systems[M]. Berlin: Springer-Verlag, 2007: 98-101.
[12] Zhi Z, Lei Y L, Alshareef A, et al.Domain Specific MetaModeling for Deep Semantic Composability[J]. IEEE Access (S2169-3536), 2018, 6(1): 18276-18289.
[13] Nain S, Vardi M Y.Trace Semantics is Fully Abstract[C]//24th Annual IEEE Symposium on Logic in Computer Science. Los Angeles, CA: IEEE, 2009: 59-68.

基于模型驱动工程的形式化模型转换技术

Exploring Formal Model Transformation Techniques within Model Driven Engineering

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

[1]	肖苏华. 计算机数控系统元建模研究[J]. 系统仿真学报, 2017, 29(6): 1186-1192.
[2]	魏毅, 朱登明. 一种参数化的牙颌有限元自动建模方法[J]. 系统仿真学报, 2017, 29(12): 2945-2952.