近年来,随着网格计算、云计算技术在新一代大规模互联网应用的发展和推进,以及云计算三大服务计算模式基础设施即服务(IaaS)、平台即服务(PaaS)和软件即服务(SaaS)的广泛成功应用表明,Web服务技术是当前主流分布式应用中的重要支柱之一,得到业界高度重视。尤其随着网络用户需求的增长,通过快速集成寄存在网络层上的已有Web服务成组合成新的增值服务,已成为学术界和工业界广泛追求的目标。然而,由于Internet环境的不稳定性和复杂性,确保组合服务事务的正确性和一致性已成为组合服务能否得到正确执行的关键难题之一。由于具有事务特性的Web服务具有自治性、分布性、异构性、和长期运行等固有特性,传统的事务处理很难移植到事务性Web服务组合环境中。尽管现有业界提出了一些Web服务环境下的事务组合及控制,仍然存在诸多方面的挑战。本文从QoS感知的事务性服务组合和事务性组合服务协同并发控制方面开展了的研究工作,主要贡献包括以下几个方面：(1)研究了传统事务模型、现有的Web服务事务协同规范：首先分别给出这些模型所存在的优缺点,指出传统的事务处理很难应用到Web服务环境,并介绍了当前国际上关于Web服务事务协同规范,以及这些规范所存在的一些问题。(2)研究和提出了满足松散原子性和QoS端对端约束的优化服务组合方法：针对现有研究工作在同时考虑候选组合服务满足事务约束和QoS端对端约束的局限性,本文提出了满足松散原子性和QoS端对端约束的优化服务组合方法。为确保事务性组合服务的全局松散原子性,考虑Web服务的事务固有特性,提出了组构建规则和规约规则来为抽象组合服务构建其服务候选图模型；证明了该模型在满足事务松散原子性的完备性,进而将这一问题转化成单源最短路径的一变种问题。基于构建的服务候选图,给出了近似QoS优化的服务选择算法。实验表明,提出的组合方法在选择QoS全局效用值、选择成功率等方面要优于国际上现有类似方法。(3)研究和提出了组成服务事务属性预先确定下的QoS优化服务组合方法：针对部分组合服务因其事务语义预先确定,导致其组成服务的事务属性也预先确定的应用情况,通过分析其抽象组合服务的历史执行日志,给出了支持任意嵌套事务性组合服务的扩展Petri网形式化建模,以及事务服务失败的恢复算法；随后给出了实际科学计算领域的应用案例——集合预报组合服务。结合应用案例分析,提出了针对组合服务中的每个组成服务之间相对重要性的评估方法；基于评估结果和候选服务在QoS可靠性维的分布,提出使用线性规划的方法优化确定抽象组成服务的局部可靠性维约束区间,进而支持风险驱动的QoS优化服务组合,实验表明,提出的组合方法能够有效降低组合服务的执行时间和组成服务发生失败而导致的平均损失。(4)研究和提出了满足松散原子性下期望风险与全局QoS效用值平衡的QoS服务组合方法：针对事务性Web服务的长事务特征,一旦发生执行失败,为确保整个组合服务的全局松散原子性,将导致大量的连锁夭折问题,从而产生巨大的执行和恢复损失。为有效解决此问题,基于前面已构建的满足松散原子性实际候选图模型,平衡以增加候选路径的全局QoS效用值和减少期望的风险两大目标,提出一种基于一步回溯的QoS近优服务组合方法。实验结果表明,提出的组合方法能够降低事务性组合服务的因服务失败而导致的平均损失,并且能够获得较优的全局QoS效用值和执行时间性能。(5)研究支持任意开放嵌套事务性组合服务并发协同机制：针对当前的Web服务事务协同规范只针对可补偿的Web服务协同问题,且并未具体给出事务性Web服务的并发协同机制。扩展当前国际Web服务协同规范,提出了一种新的支持分布异构特征的Web服务协同框架,并且给出了相应的扩展协同协议。基于该框架,给出了在隔离放松情况下服务并发执行时形式化相应定义,提出了服务执行完成操作的安全点规则、协同器过程执行关闭操作的安全点规则来确保事务并发执行的语义一致性；随后基于扩展协同框架和协同协议下,提出了分布式下服务并发控制机制中的几个相关算法：1.局部资源提供端,考虑服务提交损失风险的调度算法；2.分布式协同器下的服务提交风险评估算法；3.基于系统全局吞吐量和损失风险平衡的服务提交风险凭证分发控制策略。相比其它相关Web服务协同并发机制,该并发协同机制具有能支持任意层的开放嵌套事务性组合服务协同、Web服务事务属性异构特性,以及在给定吞吐量约束下减少并发执行过程中的连锁夭折损失风险等优点。综上所述,本文的研究对具有事务特性的QoS服务组合和云计算、网格计算等环境下具有大规模特征Web服务的可靠执行等领域,具有重要的理论意义和实际应用价值。