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

• 作者: 张福高 李勇 李揭阳
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 体系结构分析设计语言 构件交互自动机 Z语言 模型转换
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 68-71
• 页数: 4页
• 分类号: TP301
• 字数: 2877字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2017.07.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李勇	南京航空航天大学计算机科学与技术学院	142	1840	21.0	37.0
2	李揭阳	南京航空航天大学计算机科学与技术学院	3	3	1.0	1.0
3	张福高	南京航空航天大学计算机科学与技术学院	2	1	1.0	1.0