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

摘要：

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

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

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60673175

在线出版日期：2009-02-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3785-3789