基于限界模型检查的Web服务行为失配检测
文献类型：期刊论文
| 作者 | 戎玫 ; 陈圣标 ; 张广泉 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2012 |
| 卷号 | 39期号:6页码:129-132 |
| ISSN号 | 1002-137X |
| 其他题名 | detecting behavioral mismatch of web services based on bounded model checking |
| 中文摘要 | 在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性。 |
| 语种 | 中文 |
| 公开日期 | 2012-11-12 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。