Web服务作为SOA的核心技术,以其粗粒度、松耦合等特性为异构的、分布式环境下的组合服务应用提供了有力的支持。Web服务的业务执行语言(BPEL4WS)是一种基于XML的、平台无关的业务流程建模和执行语言,它采用接口的方式将多个独立的Web服务组合起来,从而形成一个组合服务流程。使用BPEL描述的可执行的组合服务流程可以在BPEL引擎中实例化执行。受Web服务自治性和互联网动态变化性等因素的影响,组合服务流程在执行过程中可能发生异常,为了保证组合服务的执行质量,要求组合服务流程能够及时响应异常并进行动态调整。针对上述问题,本文首先概述了Web服务技术和BPEL规范,接着讨论了BPEL规范的基本结构,然后对当前主流的BPEL执行引擎的架构体系进行了研究和分析,指出了当前BPEL执行引擎存在的不足,明确了支持动态调整的组合服务执行引擎的设计目标。接着本文设计了基于BPEL的支持动态调整的组合服务执行引擎(简称B-CWSEE)的体系结构,对执行引擎中的流程解析、流程实例状态转换、流程实例调度、构件服务调用、流程实例动态调整、流程管理等关键问题进行了研究。本文提出了一种支持动态调整的组合服务执行机制,该机制通过分离流程调度和服务执行,使得对单个服务进行的调整不影响组合服务的执行,以此降低动态调整的代价；通过分离异常处理逻辑和业务执行逻辑,使得组合服务流程能更灵活的响应异常情况的发生,及时进行动态调整。最后,本文详细阐述了B-CWSEE的实现。