一种形式化组合式建模方法的研究

作     者：李勇 李揭阳 曹子宁 LI Yong;LI Jie-yang;CAO Zi-ning

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

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

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

年 卷 期：2017年第27卷第11期

页      码：106-109页

摘      要：构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建安全可靠的总构件模型。计算树逻辑(CTL)能较为准确地描述状态迁移的时序性质,而擅长形式规格说明的Z语言在数据约束方面具有强大作用。因此,基于CTL和Z语言对体系结构分析设计语言(AADL)进行功能拓展,即可建立更为安全可靠的组合模型。为此,在分析研究AADL的建模元素和建模流程的基础上,提出了计算树逻辑CTL和Z语言对AADL行为附件进行扩充的思路与方法。该方法可有效保证构建模型的合理性和有序性。基于CZ_AADL建模规范和飞行管理系统实例进行了验证实验。实验结果表明,CZ_AADL建模规范增强了AADL建模的灵活性和多样性,也为采用不同建模方式的多模块间的融合提供了可能。

主 题 词：体系结构分析设计语言 构件式系统 计算树逻辑 z语言 模型检测 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-629X.2017.11.023

馆 藏 号：203279552...