随着互联网和电子商务的崛起,Web服务技术得到迅速发展。Web服务组合将网络中的Web服务按一定的业务规则组合起来,提供更可靠、灵活和有价值的服务。但在Web服务组合中,要处理不同的Web服务之间的一致性和可靠性问题,并能及时解决运行时的各种异常,因此需要在Web服务组合中提供事务处理的支持。Web服务组合中的事务通常运行时间较长、结构复杂,与传统的事务处理有很大差别。尽管目前提出多种Web服务组合模型和描述语言,但它们都没有提供对事务处理的支持。目前提出的Web服务事务规范制定的规则是泛化的,实现起来有一定困难,同时并没有考虑Web服务组合流程的事务特点。Web服务业务流程语言BPEL以特定于应用程序的方式定义了故障处理和补偿的机制,能较好地支持长期运行的事务处理的问题,但还需根据应用需求进行扩展。本文提出了Web服务组合的事务处理模型,可以较好地满足Web服务组合环境下对长事务处理的要求。本文的工作主要有以下几个方面:(1)分析了Web服务组合环境下的长事务处理所面临的问题,并对Web服务事务模型和Web服务事务规范进行了综述。分析了BPEL的事务处理机制并按WS-C和WS-BA规范针对其事务进行扩展。(2)在现有Web服务事务规范的基础上,结合Web服务组合事务的特点提出了基于WS-C规范的服务组合的事务处理模型并进行设计实现。其中的工作包括:结合WS-BA规范和BPEL规范中的补偿机制解决流程组合中异常时的一致性问题;设计了事务处理层的长事务处理框架,介绍了框架的组成和协调机制;详细阐述了自治服务协调支持和业务事务处理应用接口的设计实现。该事务处理模型构建在Web服务体系结构上,跨平台、易扩展,为种类繁多的事务性和非事务性业务流程提供支持。(3)对上述构建的系统模型进行实验验证,并介绍了服务组合事务模型的一个实例应用。(4)对全文进行总结并指出下一步工作的方向。