[1]李勇,李揭阳,曹子宁. 一种形式化组合式建模方法的研究[J].计算机技术与发展,2017,27(11):106-109.
　LI Yong,LI Jie-yang,CAO Zi-ning. Research on a Formal Modeling Method of Combination[J].,2017,27(11):106-109.
点击复制

 一种形式化组合式建模方法的研究()
分享到：

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

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

文章信息/Info

Title:
 Research on a Formal Modeling Method of Combination
文章编号:
1673-629X（2017)11-0106-04
作者:
 李勇; 李揭阳; 曹子宁
 南京航空航天大学 计算机科学与技术学院
Author(s):
 LI Yong; LI Jie-yang; CAO Zi-ning
关键词:
 ; 体系结构分析设计语言; 构件式系统; 计算树逻辑; Z语言; 模型检测
Keywords:
 ; AADL; component-based system; CTL; Z language; model checking
分类号:
TP301
文献标志码:
A
摘要:
 构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能.在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建安全可靠的总构件模型.计算树逻辑(CTL)能较为准确地描述状态迁移的时序性质,而擅长形式规格说明的Z语言在数据约束方面具有强大作用.因此,基于CTL和Z语言对体系结构分析设计语言(AADL)进行功能拓展,即可建立更为安全可靠的组合模型.为此,在分析研究AADL的建模元素和建模流程的基础上,提出了计算树逻辑CTL和Z语言对AADL行为附件进行扩充的思路与方法.该方法可有效保证构建模型的合理性和有序性.基于CZ AADL建模规范和飞行管理系统实例进行了验证实验.实验结果表明,CZ AADL建模规范增强了AADL建模的灵活性和多样性,也为采用不同建模方式的多模块间的融合提供了可能.
Abstract:
 Component-based system is a combination of some components,that is,through the integration of the single component which packages the simple business function to build a new composite component to achieve more complex business functions. Only the correct combination of the subcomponents modeling can make it possible to construct a safe and reliable total component model. Computation Tree Logic ( CTL) can well describe the temporal property of the state transition and Z language plays a significant role in the data con-straint description. After expended AADL with Z language and CTL,the components can be combined with a reliable model. Therefore, based on the analysis of AADL modeling elements and modeling processes,the idea and method to improve AADL behavior annex with the computation tree logic and Z language have been presented,which can effectively ensure the rationality and orderliness of the model. The experiments for verification have been performed with the CZ AADL modeling specification and the flight management system, which show that the CZ AADL modeling specification has enhanced the flexibility and diversity of AADL modeling and provided possi-bility for integration of multiple modules with different modeling methods.

相似文献/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(11):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(11):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(11):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(11):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(11):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(11):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(11):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(11):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(11):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(11):47.
[11]孙健,徐敏. 基于AADL的嵌入式系统可调度性验证[J].计算机技术与发展,2016,26(03):23.
　SUN Jian,XU Min. Schedulability Verification of Embedded System Based on AADL[J].,2016,26(11):23.
[12]李揭阳,李勇,张福高. 基于构件交互自动机的AADL模型转换方法研究[J].计算机技术与发展,2017,27(07):68.
　LI Jie-yang,LI Yong,ZHANG Fu-gao. Investigation on AADL Model Transformation Method Based on Component-interaction Automata[J].,2017,27(11):68.

更新日期/Last Update: 2017-12-26