基于MDE的模型转换研究:从AADL模型到Fiacre模型  

作　　者：刘玮[1] 

机构地区：[1]重庆师范大学涉外商贸学院,重庆市401520

出　　处：《电子技术与软件工程》2015年第21期96-96,共1页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

摘　　要：通过研究AADL的模型和Fiacre的模型特征,探讨了从AADL执行模型到Fiacre模型转换问题。首先基于AMMA平台建立AADL执行模型到FIACRE形式化模型的转换框架,然后通过KM3元元模型的语义,定义AADL元模型到FIACRE元模型的ATL转换规则,最后将AADL源模型转换成目标FIACRE模型,并且给出了转换实例。通过将模型转换我们可以更好的理解和分析模型,为基于模型驱动的软件开发提供便利。

关 键 词：模型驱动 AADL FIACRE ATL 模型转换 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]