Institutional Repository
| 基于限界模型检查的Web服务行为失配检测 | |
| Alternative Title | detecting behavioral mismatch of web services based on bounded model checking |
| 戎玫; 陈圣标; 张广泉 | |
| 2012 | |
| Source | 计算机科学
 |
| ISSN | 1002-137X |
| Volume | 39Issue:6Pages:129-132 |
| English Abstract | 在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性。 |
| Department | 暨南大学深圳旅游学院;苏州大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室; |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14659 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 戎玫,陈圣标,张广泉. 基于限界模型检查的Web服务行为失配检测[J]. 计算机科学,2012,39(6):129-132. |
| APA | 戎玫,陈圣标,&张广泉.(2012).基于限界模型检查的Web服务行为失配检测.计算机科学,39(6),129-132. |
| MLA | 戎玫,et al."基于限界模型检查的Web服务行为失配检测".计算机科学 39.6(2012):129-132. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于限界模型检查的Web服务行为失配检测（668KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment