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

作     者：李揭阳 李勇 张福高 LI Jie-yang;LI Yong;ZHANG Fu-gao

作者机构：南京航空航天大学计算机科学与技术学院江苏南京211106 

出 版 物：《计算机技术与发展》 (Computer Technology and Development)

年 卷 期：2017年第27卷第7期

页      面：68-71页

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"973"重点基础研究发展计划项目(2014CB744900) 航空科学基金(20150652008) 

主　　题：体系结构分析设计语言 构件交互自动机 z语言 模型转换 

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