民航公众信息服务平台中事务处理的研究与实现

摘要

随着我国经济持续发展、人民生活水平不断提高,公众对交通出行服务质量要求越来越高。然而,我国民航面向公众和全行业的数据共享及信息服务仍不适应民航事业的快速发展,民航领域的遗留系统存在着系统集成及业务流程管理等困难问题。
　　 Web服务为整合遗留系统提供了保障。事务处理是提供可靠应用软件的基础,针对Web服务的事务处理是一个关键技术和研究难点。对基于服务架构系统的研究,为高性能、高可靠的Web服务应用提供重要基础。本文提出了一个基于Web服务的事务处理协调框架,框架中采用支持功能候选的事务模型,以及基于冲突域的事务并发控制机制,以满足民航领域系统集成和流程自动化管理和实施的需求。
　　 首先,通过对传统事务和分布式事务处理机制的研究总结,根据Web服务事务的特点,提出其原子事务模型。重点针对Web服务长事务的特点,提出支持功能候选的聚合事务模型,并分析了其特点。
　　 其次,提出了基于Web服务的事务处理协调框架,在框架中应用了支持功能候选的事务模型。同时,基于该协调框架,结合Web服务松弛ACID属性等特点,分析总结WS-Tx协议簇,针对长事务的特点改进了WS-BA和WS-C,提出了基于冲突域的事务并发控制机制。通过根据共享资源属性划分冲突域,实现事务的并发控制机制。
　　 最后,设计并实现了该框架。所提出的事务模型、事务并发控制机制和协调框架,具有一般理论意义和工程实践价值,成功应用于民航公众信息服务平台。

目录

文摘

英文文摘

图表清单

注释清单

第一章 绪论

1.1 选题依据及研究意义

1.2 研究背景

1.3 国内外研究现状

1.4 论文的主要工作

1.5 论文的组织

第二章 事务的概念

2.1 事务的基本概念及其ACID属性

2.2 事务的并发机制

2.3 高级事务模型

2.3.1 嵌套事务

2.3.2 开放嵌套事务

2.3.3 链事务

2.3.4 Saga事务模型

2.3.5 分支/汇合事务

2.4 本章小结

第三章 Web服务及事务处理规范

3.1 Web服务技术

3.1.1 Web服务概述

3.1.2 Web服务技术组成

3.2 Web服务事务处理协议

3.2.1 THP协议

3.2.2 BTP协议

3.2.3 WS-Tx协议簇

3.3 本章小结

第四章 事务处理协调框架

4.1 框架要解决的问题和思路

4.2 框架采用的事务模型

4.2.1 原子事务模型

4.2.2 聚合事务模型

4.2.3 补偿事务模型

4.3 事务处理协调框架的结构

4.4 本章小结

第五章 基于冲突域的事务并发机制

5.1 分布式事务的并发机制

5.2 事务并发控制的类型

5.3 冲突域属性定义

5.4 事务并发协调机制

5.4.1 原子事务协调机制

5.4.2 聚合事务协调机制

5.4.3 冲突检测机制

5.5 本章小结

第六章 事务处理协调框架在民航公众信息服务平台中的应用

6.1 民航公众信息服务平台概述

6.2 航班便捷服务系统描述

6.3 航班便捷服务系统开发环境

6.4 事务处理协调框架的设计

6.4.1 事务处理应用模块设计

6.4.2 事务处理模块设计

6.4.3 事务处理监控模块设计

6.5 航班便捷服务系统实例说明

6.5.1 并发机制的应用

6.5.2 事务模型的应用

6.6 本章小结

第七章 总结与展望

7.1 工作总结

7.2 进一步研究方向

参考文献

致谢

在学期间的研究成果及发表的学术论文