基于限界模型检查的Web服务行为失配检测

• 作者: 张广泉 戎玫 陈圣标
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 限界模型检查 Web服务 行为失配检测 可满足性模理论
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 129-132
• 分类号: TP311
• 字数: 5652字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.06.031

摘要

在Web服务组合过程中,常因交互协议不一致等导致服务失配；Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础.采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法.该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
5	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0
6	陈圣标	苏州大学计算机科学与技术学院	2	4	1.0	2.0