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

被引：10

作者：

张天 ^{[1
,2
,3
]}

Frdric JOUAULT ^{[4
]}

Christian ATTIOGB ^{[5
]}

Jean BZIVIN ^{[4
]}

李宣东 ^{[1
,2
]}

机构：

[1] 南京大学计算机科学与技术系

[2] 南京大学计算机软件新技术国家重点实验室

[3] ATLAS Team,INRLA & LINA,Nantes University

[4] ATLAS Team INRIA & LINA,Nantes University

[5] COLOSS Team LINA,Faculty of Science,Nantes

来源：

软件学报 | 2009年 / 20卷 / 02期

关键词：

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

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

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

引用

页码：214 / 233

页数：20

共 5 条

[1] Toward an engineering discipline for grammarware [J].

Klint, P ;

Lämmel, R ;

Verhoef, C .

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2005, 14 (03) :331-380

[2]

Distributed and Parallel Embedded Systems. Kruger,R.Grosu,P.Scholz,and M.Broy. Kluwer Academic Publishers . 1999

[3]

ANTLR: A Predicated-LLk Parser Generator. Parr,TJ,Quong,RW. Software Practice and Experience . 1995

[4]

MDA guide. Miller J,Mukerji J. http:www.omg.orgdocs omg03-06-01.pdf . 2003

[5]

Modeling in the large and modeling in the small. Bezivin J,Jouault F,Rosenthal P,Valduriez P. Proc.of the Model Driven Architecture:Foundations and Applications 2003/2004 . 2004

← 1 →