Web服务组合事务协调框架研究与实现-计算机软件与理论专业论文.docxVIP

Nanjing University of Aeronautics and Astronautics The Graduate School College of Computer Science and Technology Research and Implementation of Web Services composition Transaction Coordination Framework A Thesis in Software and Theory of Computer By CAI Zheng-ping Advised by A.Prof. Wang Shan-shan Prof. Huang Zhi-qiu Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering December, 2011 承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （保密的学位论文在解密后适用本承诺书） 作者签名： 日 期： 南京航空航天大学硕士学位论文 南京航空航天大学硕士学位论文 W Web 服务组合事务协调框架研究与实现 I I PAGE PAGE IV 摘 要 为了解决分布式结构异构性问题提出的一种新的计算模型 Web 服务，目标是使不同平台的 应用程序具有互操作性。分布式环境中的 Web 服务需要相互协同工作，保证组合服务执行结果 的一致性和可靠性是 Web 服务面临的重要挑战之一，事务机制是解决此类问题的重要手段。由 于 Web 服务自治、松散耦合以及长周期等特点使得传统事务技术无法直接应用到 Web 服务中 来。 Web 服务事务处理规范( Web services transactions, WS-TX ) 描述了一个为协调分布式应用 程序行为提供协议支持的可扩展框架，可被用于支持多个业务流程实例的运行。但目前的这些 协调框架中都缺乏对组合服务的流程语义的刻画机制，用户在考虑事务协调时，需要手动编写 复杂代码界定业务流程。标准业务流程执行语言( Business Process Execution Language, BPEL ) 是用来描写业务流程的编程语言，基于工作流的 BPEL 虽然能够灵活定义业务流程，但是在事 务方面缺乏灵活性，如 BPEL 并不支持原子事务和跨流程事务，也不支持重试等向前恢复策略。 本文通过对 BPEL 进行事务描述能力扩展，并将其与 WS-TX 规范相结合，给出一种可靠的 Web 服务组合协调框架，支持灵活的事务协调和流程定义。主要工作分为以下三个方面： 1. 针对 BPEL 业务流程缺乏灵活事务语义，给出了事务语义扩展机制。首先介绍了 Web 服务组合的事务流定义，在此基础上提出了基于 BPEL 语言的组合服务事务语义扩展方法。 在 BPEL 中定义的事务语义将用于业务流程的协调。 2. 给出基于 BPEL 和 WS-TX 的 Web 服务组合事务协调框架。结合 BPEL 在业务流程定 义方面和 WS-TX 在 Web 服务事务协调方面的优势，提出了一种基于两者的 Web 服务组合协调 框架。研究了框架的体系结构、异常处理策略、协调算法和业务流程的执行、协调过程等。 3. 设计实现原型系统。基于 Axis2 和 Apache ODE 设计实现了原型系统，并通过一个 Web 组合服务的实例应用说明框架的可行性。 关键词：Web 服务，服务组合，协调框架，BPEL，WS-TX ABSTRACT As a new computing model, Web Services is proposed in order to solve the problem of heterogeneous distributed architecture. The goal is to make applications based on different platforms interactive. Web services in distributed environment need to work with each other. To ensure that the result of running co