Web 服务的主要目标是在各种异构平台的基础上构建一个通用的与平台无关、与语言无关的技术层，各种不同的应用依靠这个平台实施彼此的连接与集成。Web服务组合是通过组合现有的基本Web服务，为用户提供更可靠、更灵活的增值服务能力。然而，当前Intemet技术的发展趋势是事务性Web，需要解决Web服务环境中的事务处理问题，以保证Web服务及其组合的可靠性与完整性。 事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。Web服务事务处理的相关研究还处于初始阶段，缺乏一套统一的事务处理标准与规范。本文分析总结了现有的事务处理模型，针对Web服务组合环境下的异构性、自治性和动态性，提出了一个基于Web服务组合的事务处理模型’WS-CTM。该模型把Web 服务事务分为原子事务和组合事务两种类型。本文对模型中的两种事务协调算法、状态转换等进行研究，使该模型具备协调短期与长期组合事务的能力。 本文进一步讨论基于细胞膜演算的事务处理形式化方法，提出了原子事务和组合事务的形式化描述与模型检验方法。运用重写逻辑工具Maude2.3和线性时序逻辑对两种事务模型的相关性质进行了检验与分析，并得到了其所有的状态空间。 最后，总结了基于组合Web服务的事务处理模型WS-CTM存在的不足之处，对进一步的研究工作进行了展望。