论文部分内容阅读
通过研究AADL模型结构和Fiacre的模型特征,探讨了从AADL模型到Fiacre模型转换问题。在语义层,通过构造模型转换的语义映射规则,实现元语言之间的转换,通过构造元模型的具体语法,并且定义反应元语言的语法转换规则,从而产生目标模型的程序实体。探讨了模型转换的意义和下一步的研究方向。