Web服务编排与协作的形式化模型

Web服务以互联网为基础，基于XML和标准协议，提供高度互操作性，支持跨平台业务应用、企业信息化和企业间业务合作，能充分利用网络上的海量资源。Web服务系统具有并行性、分布性和高度动态性。业界希望新的Web服务模型能支持多方多回合的复杂业务逻辑。为能从全局层面上把握和设计业务流程，人们提出了服务编排的概念，这一概念提出了许多新的理论和技术问题。随着Web服务系统规模的增长，理论和模型的支持也变得更加重要。本项目研究Web服务编排和协作的形式化模型，研究Web服务编排的描述和面向编排的语言设计，从理论上研究Web编排的描述、实现、静态检查、分析和验证，以及基于编排的Web服务系统的实现等，为基于编排的复杂Web服务应用系统的设计、分析和严格开发提供理论基础。这一研究所考察的主要对象是分布在互联网上的独立服务之间的相互协作，将特别关注从全局观点研究Web服务编排与协作中的各种问题。