基于MAS模型检测与抽象的Web服务验证

• 作者: 许兴旺 骆翔宇
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web服务组合 多主体系统 模型检测 图状反例 抽象 精化
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 专栏
• 页码范围: 26-31,36
• 页数: 7页
• 分类号: TP311
• 字数: 7031字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.03.005

摘要

Web服务组合现已成为跨组织业务流程集成的关键技术,然而在松耦合开发模式和开放的互联网运行环境下,其正确性、可靠性、安全性等可信性质难以得到保证。为解决该问题,提出一种Web服务组合形式化验证方法,将基于图状反例向导的抽象与精化方法应用于多主体系统( MAS)模型检测工具( MCTK)中,大幅缓解模型检测的状态爆炸问题,从理论上证明该验证方法的正确性。实验通过将银行贷款风险评估系统转换成MCTK描述的MAS,并对比抽象前后的模型检测代价,结果显示,基于抽象的Web服务验证方法明显优于未采用抽象技术的验证方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆翔宇	华侨大学计算机科学与技术学院	12	73	4.0	8.0
5	许兴旺	华侨大学计算机科学与技术学院	1	2	1.0	1.0