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

MDE-Based Mode Transformation:From MARTE Model to FIACRE Model

作　　者：张天[1,2,3] Frédéric JOUAULT Christian ATTIOGBE Jean BEZIVIN 李宣东[1,2] 

机构地区：[1]南京大学计算机科学与技术系,江苏南京210093 [2]南京大学计算机软件新技术国家重点实验室,江苏南京210093 [3]ATLAS Team, INRIA ＆ LINA, Nantes University, Nantes 44300, France [4]COLOSS Team, LINA, Faculty of Science, Nantes University, Nantes 44300, France

出　　处：《软件学报》2009年第2期214-233,共20页Journal of Software

基　　金：国家自然科学基金;国家重点基础研究发展计划(973);国家高技术研究发展计划(863);江苏省自然科学基金~~

摘　　要：通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.This paper presents a representative case study of bridging UML/MARTE （unified modeling language/ modeling and analysis of real time and embedded systems） to FIACRE （intermediate format for the architectures of embedded distributed components）, and discusses in detail two sub-problems of semantic mapping and syntactic transformation respectively. At the semantic level, the semantic mapping rules are developed using model transformation technology so as to implement the transformation between metamodels. At the syntactic level, the concrete syntax rules are built on the metamodels so that textual programs could be generated. Based on the case study, the general framework and corresponding key techniques are discussed. In addition, both the advantages and deficiencies of the work are concluded.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]