Web服务组合语言的语义和验证研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

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

项目名称：Web服务组合语言的语义和验证研究
项目类别：青年科学基金项目
批准号：60603033
申请代码：F020201
项目来源：国家自然科学基金
研究期限：2007-01-01-2009-12-31

项目负责人：蒲戈光
负责人职称：教授
依托单位：华东师范大学
批准年度：2006

中文摘要：

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

中文主题词： Web服务;语义;形式化方法;验证

成果综合统计