|
|
软件学报 2009
基于mde的异构模型转换:从marte模型到fiacre模型, PP. 214-233 Keywords: 模型驱动工程,形式化方法,marte(modeling,and,analysis,of,real,time,and,embedded,systems),fiacre,(intermediate,format,for,the,architectures,of,embedded,distributed,components),异构性 Abstract: 通过研究一个具有代表性的uml/marte(unifiedmodelinglanguage/modelingandanalysisofrealtimeandembeddedsystems)模型向fiacre(intermediateformatforthearchitecturesofembeddeddistributedcomponents)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.
|
