• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文学位 >基于SMT求解器的Web服务组合的验证研究
【6h】

基于SMT求解器的Web服务组合的验证研究

代理获取
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

近年Web服务已经成为一种新兴的、有发展前景的技术，而服务组合概念的提出大大便捷了我们的生活。但由于服务组合的过程具有动态性，组合服务的正确性得不到保证，所以对Web服务组合的验证变得尤为重要。目前常见的服务组合验证方法是对Web服务组合流程进行形式化建模，但是这些验证方法大部分是基于控制流分析且建模过程较复杂，所以验证效果不是很理想。
　　为了解决上述问题，本文提出一种基于SMT求解器的Web服务组合验证方法。求解公式的可满足性是一个经典的NP完全问题，而SMT问题是在特定理论下判定一阶逻辑公式可满足性的问题，它在形式化验证、程序分析等领域中都具有非常重要的应用价值。
　　本文的主要工作如下：
　　（1）从Web服务提供的XML文档中抽取有用的约束信息并生成一个中间文件，该中间文件中包含了服务组合的执行流程、流程中活动的执行条件和变量的详细定义等约束信息。
　　（2）对生成的中间文件做进一步预处理，然后根据提出的变量约束、赋值约束、执行条件约束和次序约束的生成规则生成约束，最后利用SMT求解器进行求解验证。
　　（3）设计一种基于SMT求解器的Web服务组合验证框架。该框架在本文提出的Web服务组合验证方法的基础上，增加了对验证失败情况的处理，确保了Web服务组合的质量。
　　本文对Web服务组合验证进行深入研究，提出了解决方法，通过实验证明本文提出的服务组合验证方法是可行的。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号