基于构件交互自动机的AADL模型转换方法研究

来源：计算机技术与发展杂志2017年第07期北京时间：

作者：李揭阳;李勇;张福高

摘要：构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机.体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种基于构件的半形式化体系结构分析和设计语言,是嵌入式系统体系结构建模和设计的标准,但无法直接进行形式化模型的检测工作.为了形式化描述系统交互过程中产生的大量数据,更好地描述模型中的状态集合、状态变迁和数据约束的性质,在构件交互自动机研究和发展的基础上,提出了一种扩充的构件交互自动机,将形式化规格说明语言Z引入构件交互自动机Z-CoIA,描述模型中包含状态和状态变迁.为检测与验证所建立的模型,基于具体实例进行了由AADL模型向经扩充的构件交互自动机模型的转换.验证结果表明,所提出的方法推动了AADL的形式化进程.

关键词：体系结构分析设计语言;构件交互自动机;Z语言;模型转换