基于MDE的异构模型转换:从MARTE模型到FIACRE模型

摘要：

通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.

关键词：模型驱动工程、形式化方法、MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures of embedded distributed components)、异构性

所属期刊栏目：20

分类号：TP311(计算技术、计算机技术)

资助基金：the National Natural Science Foundation of China under Grant No.60425204;the National Basic Research Program of China under Grant No.2002CB312001 国家重点基础研究发展计划973;the National High-Tech Research and Development Plan of China under Grant No.2007AA010302 国家高技术研究发展计划863;the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2007714

在线出版日期：2009-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共20页

页码：214-233