| 本文已被：浏览 5530次 下载 9425次 |
码上扫一扫！ |
|
|
| 基于MDE的异构模型转换:从MARTE模型到FIACRE模型 |
|
张天1,2,3, Frédéric JOUAULT3, Christian ATTIOGBé4, Jean BéZIVIN3, 李宣东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
|
|
| 摘要: |
| 通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real timeand 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) 异构性 |
| DOI： |
| 分类号: |
| 基金项目:Supported by 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 (江苏省自然科学基金) |
|
| MDE-Based Mode Transformation: From MARTE Model to FIACRE Model |
|
ZHANG Tian,Frédéric JOUAULT,Christian ATTIOGBé,Jean BéZIVIN,LI Xuan-Dong
|
| Abstract: |
| 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. |
| Key words: MDE (model-driven engineering) formal method MARTE (modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures of embedded distributed components) heterogeneous |
