组合服务的事务性研究

论文摘要

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

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 引言
• 1.1.1 研究背景
• 1.1.2 问题的提出
• 1.1.3 研究的目的与意义
• 1.2 Web服务的事务性研究现状
• 1.2.1 Web服务事务处理相关工业规范
• 1.2.2 Web服务事务处理的学术研究现状
• 1.3 研究内容
• 1.4 本文组织结构
• 第二章 Web服务事务及其模型
• 2.1 事务处理技术
• 2.1.1 传统事务及其属性
• 2.1.2 高级事务模型
• 2.1.3 Web服务的事务性
• 2.2 Web服务事务相关规范的分析与比较
• 2.2.1 Web服务事务规范WS-Transaction OASIS标准
• 2.2.2 其他规范
• 2.2.3 Web服务事务规范的比较
• 2.3 Web服务组合语言BPEL的事务扩展
• 2.3.1 BPEL概述
• 2.3.2 BPEL的事务支持扩展
• 2.4 基于域的组合服务嵌套事务模型 SBET
• 2.4.1 嵌套事务模型 SBET
• 2.4.2 SBET中的事务属性
• 2.4.3 SBET中的事务特性
• 2.5 本章小节
• 第三章 支持 QoS约束的组合服务事务恢复
• 3.1 相关工作
• 3.2 组合服务事务恢复中的QoS指标
• 3.2.1 QoS指标分析
• act及 QoS_future的计算'>3.2.2 QoS_act及 QoS_future的计算
• 3.3 组合服务事务恢复中的相关问题
• 3.3.1 SBET中事务域的划分
• 3.3.2 事务恢复策略
• 3.3.3 补偿事务
• 3.4 组合服务事务恢复算法
• 3.4.1 算法描述
• 3.4.2 正确性分析
• 3.4.3 模拟实验
• 3.5 小结
• 第四章 基于冲突概率的组合服务事务并发控制
• 4.1 相关工作
• 4.2 事务并发控制相关概念
• 4.2.1 语义单元的定义
• 4.2.2 冲突及冲突类
• 4.2.3 临界区及优先调度规则
• 4.3 组合服务事务冲突模型
• 4.3.1 组合服务冲突模型
• 4.3.2 冲突概率的计算
• 4.4 基于冲突概率的服务事务并发控制算法
• 4.4.1 组合服务事务的混合并发控制的算法
• 4.4.2 正确性分析
• 4.4.3 实例分析
• 4.5 小结
• 第五章 支持组合服务事务的原型系统的设计
• 5.1 TCWS体系结构
• 5.2 TMSS总体设计
• 5.2.1 总体结构
• 5.2.2 数据结构设计
• 5.2.3 事务协调协议
• 5.3 TMSS关键部件设计
• 5.3.1 事务协调器设计
• 5.3.2 事务管理器设计
• 5.3.3 错误处理模块
• 5.3.4 并发控制模块
• 5.4 小结
• 第六章 总结与展望
• 6.1 本文总结
• 6.2 进一步研究方向
• 参考文献
• 致谢
• 攻读学位期间主要的研究成果