%0 Journal Article %T 基于mde的异构模型转换:从marte模型到fiacre模型 %A 张天? %A Frédéric %A JOUAULT? %A Christian %A ATTIOGBé? %A Jean %A BéZIVIN? %A 李宣东? %J 软件学报 %P 214-233 %D 2009 %X 通过研究一个具有代表性的uml/marte(unifiedmodelinglanguage/modelingandanalysisofrealtimeandembeddedsystems)模型向fiacre(intermediateformatforthearchitecturesofembeddeddistributedcomponents)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性. %K 模型驱动工程 %K 形式化方法 %K marte(modeling %K and %K analysis %K of %K real %K time %K and %K embedded %K systems) %K fiacre %K (intermediate %K format %K for %K the %K architectures %K of %K embedded %K distributed %K components) %K 异构性 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3423&flag=1