中文摘要：

Web Services组合可适应动态多变的应用需求，支持数量众多的松耦合企业之间的集成，成为应用集成技术的重要发展趋势之一。Web Services组合中的各组成服务需要相互协调，保持一致且可靠的结果和输出，事务机制可描述复杂依赖关系及状态迁移，能提供并发和失效情况下的一致性输出和执行正确性保证，成为Web Services组合能否投入实际应用的关键技术之一。Web Service环境具有自治、异构、动态的特点，与相对紧耦合的分布环境中的应用相比更易产生失效，其事务管理也更为复杂。因此，研究Web Services组合中的事务处理技术具有重要理论价值和应用意义。研究内容包括Web Services组合的事务模型、基于XML的组合定义语言事务支持、事务属性的组合失配问题、利用服务动态绑定技术的失效恢复、非集中式的并发调度，以及支持Web Services服务组合事务管理的支撑平台。

结论摘要：

课题主要围绕Web Services组合中的事务处理技术进行研究。在Web Services组合事务的描述、事务属性的组合失配、失效恢复机制等方面取得突破，主要表现在(1)在Web Services组合事务模型和定义语言事务支持方面，提出了面向松散耦合环境的事务性服务组合过程模型TSCPM，扩展了已有定义语言，为Web Services组合中的事务管理研究提供了基础；(2)在组合定义时正确性方面，针对事务属性组合失配问题，基于TSCPM模型，提出了良构性的精确定义、判定准则和判定方法；(3)在组合运行时正确性方面，针对运行时服务组合失效问题，提出了一种有效减少补偿代价的失效恢复算法，并提出了利用服务动态选取和绑定完成等价功能替换的失效恢复机制和方法。随着课题进展，针对技术的发展变化，课题组主动调整部分研究方向，增加了对事务性服务组合系统而言不可忽视的并发调度和负载均衡技术的研究。课题研究共培养学生多名，已有2名博士研究生顺利毕业。资助参与国际学术交流2批，做分组报告4人次。已在国内核心期刊发表/录用学术论文3篇，在国际学术会议发表论文6篇，其中被EI检索7篇，被ISTP检索5篇。