| 基于限界模型检查的Web服务行为失配检测 |
| 其他题名 | detecting behavioral mismatch of web services based on bounded model checking
|
| 戎玫; 陈圣标; 张广泉
|
| 2012
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 39期号:6页码:129-132 |
| 摘要 | 在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性。 |
| 部门归属 | 暨南大学深圳旅游学院;苏州大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室;
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/14659
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论