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

作者：张天; FrédéricJOUAULT; ChristianATTIOGB; JeanBZIVIN; 李宣东

来源：软件学报, 2009, (02): 214-233.

• 模型驱动工程
• 形式化方法
• MARTE(modeling and analysis of real time and embedded systems)
• FIACRE(intermediate format for the architectures of embedded distributed components)
• 异构性 MDE(model-driven engineering)
• formal method
• heterogeneous

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学; INRIA