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