基于场景规约的构件式系统设计分析与验证

作     者：胡军 于笑丰 张岩 王林章 李宣东 郑国梁 HU Jun;YU Xiao-Feng;ZHANG Yan;WANG Lin-Zhang;LI Xuan-Dong;ZHENG Guo-Liang

作者机构：计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 

基　　金：国家自然科学基金(60425204 60233020 60573085) 国家"九七三"重点基础研究发展规划项目基金(2002CB312001) 江苏省自然科学基金(BK2004080)资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2006年第29卷第4期

页      码：513-525页

摘      要：使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

主 题 词：构件式系统设计 接口自动机 模型检验 顺序图 统一建模语言(UML) 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3321/j.issn:0254-4164.2006.04.001

馆 藏 号：203510389...