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

• 作者: Christian ATTIOGB(é) Frédéric JOUAULT Jean B(é)ZIVIN 张天 李宣东
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模型驱动工程 形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures of embedded distributed components) 异构性
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 214-233
• 页数: 20页
• 分类号: TP311
• 字数: 14030字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03423

摘要

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