论文部分内容阅读
构件交互自动机（Component-Interaction Automata，Co-IA）是扩展了构件之间交互描述的自动机。体系结构分析设计语言（Architecture Analysis and Design Language，AADL）是一种基于构件的半形式化体系结构分析和设计语言，是嵌入式系统体系结构建模和设计的标准，但无法直接进行形式化模型的检测工作。为了形式化描述系统交互过程中产生的大量数据，更好地描述模型中的状态集合、状态变迁和数据约束的性质，在构件交互自动机研究和发展的基础上，提出了一种扩充