Web服务组合作为基于Internet的典型的服务组合形式,正在得到广泛的关注。由于Web服务的松耦合特点,为保证多个服务交互获得正确的执行和一致性的结果,有必要为服务提供事务机制。目前,服务组合中的事务处理已成为一个研究热点。本文针对组合服务事务的长事务特点,提出了一个通用的支持事务机制的组合服务描述模型(UWSC-NTM),该模型的特点之处在于支持动态的基于事务的Web服务组合,并且具有丰富的执行语义,可支持复杂的Web服务组合。本文采用形式化的方法对该模型的执行语义进行验证,并提出了模型的良构性准则。基于该模型,设计并实现了一个组合服务事务恢复算法。该算法引入了事务执行器和事务协调器的概念,提出了基于候选服务队列的前向恢复方法和基于历史状态轨迹的后向恢复方法,不同于传统的集中式模型下的单协调器方式,采甩分布式的事务协调方法,解决了单协调器的性能瓶颈问题和单点失效问题,改善了组合服务的成功率和平均响应时间。本文又设计出一个基于资源划分的组合服务事务并发控制算法,该算法充分考虑了组合服务事务中的各种并发情况,引入资源单元、粗粒度划分和细粒度划分的概念来保证事务并发的高效性,通过测试验证了该算法对事务并发控制调度的语义可串行性。最后针对当前CICS事务管理器缺乏对组合服务事务的有力支持,设计了一个支持组合服务事务的原型系统,包含了事务管理器、并发控制模块、错误恢复模块。该系统在协调各成员服务的事务行为的同时,还提供了错误恢复和并发控制的功能。本文主要在组合服务事务模型、错误恢复、并发控制及支持事务的组合服务原型系统等方面进行研究,为组合服务事务的研究提供了新的思路和方法。