支持协商的网构软件体系结构行为建模与验证

摘要：

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.

关键词：网构软件、软件体系结构、模型检查、行为模型

所属期刊栏目：19

分类号：TP311(计算技术、计算机技术)

资助基金：the National Natural Science Foundation of China under Grant Nos.90412011, 90612011, 60503028;the National Basic Research Program of China under Grant No.2002CB312003 国家重点基础研究发展计划973

在线出版日期：2008-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：1099-1112