Web服务组合语言的语义和验证研究

本项目的研究内容是为Web服务组合语言建立清晰的语义模型，针对组合语言的两个基本分类：编排和编制分别建立适合于商业流程验证的语义框架，基于此框架，能够对用Web服务组合语言书写的商业流程进行性质验证、流程分析和检查异常等，并且通过对它们语义的研究，消除那些基于Web服务的商业流程可能包含的歧义性，从而能够支持目前标准组织在制定Web服务组合语言规范时对精确语义的需求。这一研究选取目前国际标准组织OASIS和W3C起草的Web服务编制语言WSBPEL和Web服务编排语言WSCDL，对它们分别建立各自的语义框架,并将利用已有的程序验证方法，如模型检查和定理证明技术用到Web组合语言的验证方面。利用成熟的模型检查技术，结合Web服务组合语言的特性，将分别开发验证WSBPEL和WSCDL的算法和工具，希望通过对它们的研究，能够检验和分析Web组合语言描述的商业流程的性质。