互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

一种验证Web服务流程的新方法


□ 王 晨 王红兵 许 迅

  (东南大学 计算机学院,南京 210096)

  

  摘 要:

  在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。

  关键词:时序逻辑语言; Web服务本体描述语言; Web服务业务流程执行语言; Web服务组合验证; 工作流模型分析

  中图分类号:TP311 文献标志码:A

   文章编号:10013695(2008)12378505

  

  Novel method to verify Web services process

  

  WANG Chen, WANG Hongbing, XU Xun

  (School of Computer Science & Engineering, Southeast University, Nanjing 210096, China)

  

  Abstract:OWLS and BPEL4WS are two widely used services description language which applied in modeling and implementing service composition. In the real services composition, the verification of Web services process plays an important role. Through the verification, the paper proved that a control flow of the services composition could satisfy some important or expected properties, some key properties such as no deadlock, no infinite loop and so on; also the service provider may verify Web services process to ensure that the Web services which they provided were completely correct. However, little attention had been paid to the methods which verify these two description language. And proposed a verification method of Web services which used TLA to model the services process, and then used the technology, model checking to verify some key properties. Through experiments, proves that it has good effect and is a potential and useful method in real environment.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017