[1]李揭阳,李勇,张福高. 基于构件交互自动机的AADL模型转换方法研究[J].计算机技术与发展,2017,27(07):68-71.
　LI Jie-yang,LI Yong,ZHANG Fu-gao. Investigation on AADL Model Transformation Method Based on Component-interaction Automata[J].,2017,27(07):68-71.
点击复制

 基于构件交互自动机的AADL模型转换方法研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
27
期数:
2017年07期
页码:
68-71
栏目:
智能、算法、系统工程
出版日期:
2017-07-10

文章信息/Info

Title:
 Investigation on AADL Model Transformation Method Based on Component-interaction Automata
文章编号:
1673-629X（2017)07-0068-04
作者:
 李揭阳; 李勇; 张福高
 南京航空航天大学 计算机科学与技术学院
Author(s):
 LI Jie-yang; LI Yong; ZHANG Fu-gao
关键词:
 ; 体系结构分析设计语言; 构件交互自动机; Z语言; 模型转换
Keywords:
 ; AADL; component-interaction automata; Z language; model transformation
分类号:
TP301
文献标志码:
A
摘要:
 构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机.体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种基于构件的半形式化体系结构分析和设计语言,是嵌入式系统体系结构建模和设计的标准,但无法直接进行形式化模型的检测工作.为了形式化描述系统交互过程中产生的大量数据,更好地描述模型中的状态集合、状态变迁和数据约束的性质,在构件交互自动机研究和发展的基础上,提出了一种扩充的构件交互自动机,将形式化规格说明语言Z引入构件交互自动机Z-CoIA,描述模型中包含状态和状态变迁.为检测与验证所建立的模型,基于具体实例进行了由AADL模型向经扩充的构件交互自动机模型的转换.验证结果表明,所提出的方法推动了AADL的形式化进程.
Abstract:
 Component-Interaction Automata (Co-IA) is a automata which has expanded the interaction between components.Architecture Analysis and Design Language (AADL) is a kind of component-based semi-formal architecture analysis and design language and is the modeling and design standard of embedded system architecture.But it cannot detect the formal model directly.In order to formally describe the large amounts of data produced by the interaction in the system and the characteristics of state sets,state change,data constraints in the model,the expended CoIA has been proposed on the basis of research and development of CoIA.And the formal specification language Z is introduced into the CoIA,named Z-CoIA,to describe the status and status changes in the model.So as to test and verify the model,transformation from the AADL to CoIA is carried out by a concrete example.The verification results show that the proposed method promotes the AADL formal process.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(07):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(07):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(07):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(07):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(07):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(07):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(07):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(07):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(07):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(07):47.
[11]孙健,徐敏. 基于AADL的嵌入式系统可调度性验证[J].计算机技术与发展,2016,26(03):23.
　SUN Jian,XU Min. Schedulability Verification of Embedded System Based on AADL[J].,2016,26(07):23.
[12]李勇,李揭阳,曹子宁. 一种形式化组合式建模方法的研究[J].计算机技术与发展,2017,27(11):106.
　LI Yong,LI Jie-yang,CAO Zi-ning. Research on a Formal Modeling Method of Combination[J].,2017,27(07):106.

更新日期/Last Update: 2017-08-22