Web服务是一个崭新的分布式计算模型,它的出现解决了企业之间及企业内部异构系统之间的互操作和互通信的问题。事务则是一种保证应用一致可靠的有效机制。Web服务松偶合的特点使得Web服务事务尤为重要。Web服务事务,尤其是组合服务事务对服务质量(QoS)和服务计算的一致性和可靠性起着重要作用。本文针对组合服务事务的长事务特点,提出了一个基于域的组合服务事务嵌套模型(SBET),通过对组合服务事务进行进一步的事务划分,将组合服务平坦的事务模型扩展为嵌套的事务模型,使得事务撤销时,可以选择性的回退到某一个一致点,以保证事务的语义一致性。为了保证服务质量,在SBET的基础上提出一个支持QoS约束的组合服务事务恢复算法。该算法能将补偿的范围控制在底层的域内,减少补偿代价,保证服务质量在用户可接受的范围内接近最优,同时保证事务的语义原子性。为了提高组合服务的并发度并保证并发的正确性,提出一个基于冲突概率的组合服务事务并发控制算法。该算法充分考虑了组合服务事务中的各种并发情况,引入语义单元、冲突类锁和临界区的概念来保证事务调度的语义可串行性,同时通过调度的优先级规则来避免死锁。最后,针对当前组合服务执行引擎大都缺乏对组合服务事务的有力支持,设计了一个支持组合服务事务的原型系统(TCWS)。该系统基于WS-Transaction规范,在协调各成员服务的事务行为的同时,还提供了错误恢复和并发控制的功能。本文主要在组合服务事务模型、错误恢复、并发控制及支持事务的组合服务原型系统等方面进行研究,为组合服务事务的研究提供了新的思路和方法。