基于THP协议的Web服务事务协调研究

摘要

Web服务技术作为一种新型的面向服务的分布式计算模式，可以方便地实现Internet上跨平台、语言独立、松散耦合的异构应用的交互和集成。当前Internet的发展趋势是事务性Web，这需要解决相关的Web服务中的事务处理问题，以保证Web服务在整个处理流程的完整性和可靠性。目前的Web服务缺乏全局的事务环境，传统的事务模型不再适用于新的Web环境下的要求，Web服务事务处理的研究还处于初级阶段。Web服务事务处理除了需要一套合理的事务处理方案，更要制定相应的事务协调信息交换的标准协议。 本文针对Web服务中事务处理的自动化协调问题，分析总结了现有的事务处理模型和一些有代表性的用于Web事务处理的协议，提出了一个基于THP协议的Web服务事务协调协议模型，该协议模型把用于Web事务处理的THP协议和用于传统事务的两阶段提交协议相结合来协调Web服务中的事务。本文对协议模型的协调算法，状态转换等进行研究，使该模型具备协调短期事务与长事务的能力，并且能较高效地解决Web服务环境下事务处理的自动协调问题；本文还设计了原型系统验证了我们提出的协议模型的可行性和有效性，并且在这个协议模型的基础上，进一步讨论了用于Web服务事务协调的THP协议的参数优化问题，给出了THP协议的参数优化方法并进行了性能分析。最后，本文总结了我们提出的基于THP协议的Web事务协调协议模型的优点和缺陷，以及需要进一步开展的研究工作。

目录

文摘

英文文摘

东南大学学位论文独创性声明及使用授权声明

第一章绪论

1.1研究背景和意义

1.2研究现状及本文研究目标

1.3本文主要研究内容和章节安排

第二章事务的基本概念

2.1事务概念及其ACID[1]特性

2.1.1事务概念

2.1.2事务的ACID特性

2.2高级事务模型

2.2.1嵌套事务

2.2.2开放嵌套事务

2.2.3 Saga事务模型

2.2.4分支/汇合事务

第三章事务性Web服务

3.1 Web服务技术

3.2 Web服务中的事务与传统事务的比较

3.3 Internet上的事务处理协议

3.3.1 TIP[8]协议

3.3.2 BTP协议

3.3.3 WS-C(WS-Coordination)和WS-Tx(WS-Transaction)协议

3.3.4 THP 协议

3.4本章小结

第四章基于THP协议的Web服务事务协调协议模型

4.1模型要解决的问题及解决思路

4.1.1模型要解决的问题

4.1.2解决思路

4.2模型中事务类型和事务协调机制

4.2.1原子事务

4.2.2会话事务

4.2.3 Web服务事务协调机制

4.3 Web服务中原子事务的协调协议

4.3.1 THP+2PC的提出

4.3.2协调算法

4.3.3 THP+2PC协议的正确性证明

4.4 Web服务中会话事务的协调协议

4.4.1 Web服务和事务关系定义

4.4.2 THP+OCP的提出

4.4.3协调算法

4.4.4 THP+OCP协议的正确性证明

4.5 Web服务事务协调原型系统的设计

4.5.1总体架构

4.5.2协调器组成结构

4.5.3协调器协议流接口

4.5.4原型系统的运行实例

4.6本章小结

第五章模型中THP协议参数优化及性能分析

5.1 THP参数定义

5.2动态计算服务提供者的HS

5.2.1建模

5.2.2动态计算HS的方法

5.3实验与结果分析

5.3.1仿真实验目标

5.3.2仿真环境模拟

5.3.3仿真实验结果分析

5.4本章小结

第六章总结及后续工作

6.1本文工作的总结

6.2需要进一步研究的问题

致谢

参考文献

作者简介