| 图表目录 | 第1-10页 |
| 摘要 | 第10-12页 |
| ABSTRACT | 第12-15页 |
| 第一章 绪论 | 第15-41页 |
| §1.1 事务处理技术及其相关研究 | 第16-23页 |
| ·基本概念 | 第16-17页 |
| ·相关研究 | 第17-23页 |
| ·事务处理核心技术 | 第17-18页 |
| ·平坦事务模型 | 第18-20页 |
| ·高级事务模型和方法 | 第20-23页 |
| §1.2 工作流技术概述 | 第23-25页 |
| ·工作流参考模型 | 第23-24页 |
| ·WfMS的建立时和运行时功能 | 第24-25页 |
| §1.3 工作流中的事务需求 | 第25-31页 |
| ·应用案例 | 第25-27页 |
| ·工作流应用的特点及其事务需求 | 第27-28页 |
| ·工作流应用中的事务与传统事务的差异 | 第28-30页 |
| ·事务工作流的提出 | 第30-31页 |
| §1.4 本文的相关工作 | 第31-34页 |
| ·事务工作流相关工作 | 第31-33页 |
| ·Web Services环境下的事务处理 | 第33-34页 |
| §1.5 本文的研究内容 | 第34-38页 |
| ·事务工作流的关键技术分析 | 第34-35页 |
| ·本文研究针对的问题 | 第35-37页 |
| ·本文的工作 | 第37-38页 |
| §1.6 本文的组织结构 | 第38-41页 |
| 第二章 事务工作流的过程模型及良构性判定准则 | 第41-63页 |
| §2.1 引言 | 第41-42页 |
| §2.2 事务工作流的过程模型TWPM | 第42-54页 |
| ·事务工作流的概念模型 | 第42-45页 |
| ·基本概念 | 第42-43页 |
| ·恢复模式和恢复策略 | 第43-44页 |
| ·语义原子域 | 第44页 |
| ·事务工作流的形式化表示 | 第44-45页 |
| ·事务工作流的执行语义 | 第45-49页 |
| ·控制模式 | 第45-46页 |
| ·完成路径 | 第46-47页 |
| ·完成集 | 第47-49页 |
| ·事务工作流的状态转换 | 第49-50页 |
| ·运行时的正确性准则 | 第50-54页 |
| ·语义原子性 | 第50-51页 |
| ·可串行性和可恢复性 | 第51-54页 |
| ·小结 | 第54页 |
| §2.3 良构性及其判定准则 | 第54-59页 |
| ·良构性——定义时的正确性准则 | 第55页 |
| ·良构性判定准则 | 第55-59页 |
| ·良构性的判定方法 | 第59页 |
| §2.4 相关工作 | 第59-60页 |
| §2.5 本章小结 | 第60-63页 |
| 第三章 基于QoS的事务工作流并发调度 | 第63-87页 |
| §3.1 引言 | 第63-65页 |
| §3.2 事务工作流的并发需求特点分析 | 第65页 |
| §3.3 研究现状 | 第65-68页 |
| ·几种传统并发控制机制 | 第65-66页 |
| ·相关工作分析 | 第66-68页 |
| §3.4 基于冲突检测的事务工作流动态并发调度CBDS算法 | 第68-74页 |
| ·算法概述 | 第68-70页 |
| ·CBDS算法 | 第70-72页 |
| ·事务工作流的初始化 | 第71页 |
| ·活动的调度执行 | 第71-72页 |
| ·事务工作流实例的夭折 | 第72页 |
| ·事务工作流实例的提交 | 第72页 |
| ·算法的正确性分析 | 第72-74页 |
| ·可串行性 | 第72-73页 |
| ·可恢复性 | 第73-74页 |
| ·避免饿死现象的产生 | 第74页 |
| §3.5 CBDS算法的改进 | 第74-81页 |
| ·QoS参数 | 第74-75页 |
| ·基于QoS的可减少连锁夭折的并发调度CBDS~+算法 | 第75-81页 |
| ·基本思想 | 第75-76页 |
| ·基于QoS的延迟调度策略和SAFE集扩充策略 | 第76-77页 |
| ·CBDS~+算法 | 第77-78页 |
| ·性能模拟 | 第78-81页 |
| §3.6 相关工作的比较 | 第81-84页 |
| ·比较准则 | 第81-83页 |
| ·比较结果 | 第83-84页 |
| §3.7 本章小结 | 第84-87页 |
| 第四章 层次式的事务工作流失效恢复 | 第87-99页 |
| §4.1 引言 | 第87-88页 |
| §4.2 事务工作流失效恢复的相关概念 | 第88-90页 |
| ·执行历史和补偿图 | 第88-89页 |
| ·系统失效和逻辑失效 | 第89页 |
| ·完全补偿和部分补偿 | 第89-90页 |
| ·向前恢复和向后恢复 | 第90页 |
| §4.3 失效处理范围和循环处理问题 | 第90-91页 |
| ·失效处理范围的确定 | 第90-91页 |
| ·循环处理问题 | 第91页 |
| §4.4 HFR算法：层次式的失效恢复 | 第91-97页 |
| ·算法描述 | 第91-94页 |
| ·异常分发子算法 | 第92页 |
| ·工作流失效恢复子算法 | 第92-93页 |
| ·失效活动预处理子算法 | 第93页 |
| ·块补偿图生成子算法 | 第93-94页 |
| ·有关HFR算法的讨论 | 第94页 |
| ·实例分析 | 第94页 |
| ·算法的正确性 | 第94-96页 |
| ·算法的性质 | 第96页 |
| ·性能分析 | 第96-97页 |
| ·与CBDS算法及其改进算法CBDS~+的联系 | 第97页 |
| §4.5 相关工作 | 第97-98页 |
| §4.6 本章小结 | 第98-99页 |
| 第五章 基于Web Services的事务工作流 | 第99-115页 |
| §5.1 引言 | 第99-100页 |
| §5.2 相关工作的分析和比较 | 第100-102页 |
| §5.3 Web Services组合及其结构 | 第102-103页 |
| §5.4 Web Services组合的事务模型 | 第103-105页 |
| ·事务恢复属性 | 第104页 |
| ·补偿和功能替代 | 第104页 |
| ·Web Services组合中的事务 | 第104-105页 |
| §5.5 HFR4WS算法：Web Services组合的失效恢复 | 第105-109页 |
| ·算法描述 | 第106-107页 |
| ·算法的正确性 | 第107页 |
| ·补偿代价的分析 | 第107-109页 |
| §5.6 基于HFR4WS算法的失效恢复机制 | 第109-110页 |
| §5.7 应用和发展前景 | 第110-112页 |
| ·基于Web Services的跨组织的关键业务过程集成 | 第110-111页 |
| ·基于Web Services的业务网格 | 第111页 |
| ·开放式网络环境中的相关研究 | 第111-112页 |
| §5.8 本章小结 | 第112-115页 |
| 第六章 事务工作流的实现框架 | 第115-125页 |
| §6.1 引言 | 第115-116页 |
| §6.2 实现框架的原理和组成 | 第116-121页 |
| ·数据结构 | 第116-118页 |
| ·扩展的XPDL语言 | 第118-119页 |
| ·过程定义的检查工具 | 第119页 |
| ·并发调度器 | 第119-120页 |
| ·事务性失效恢复管理器 | 第120-121页 |
| §6.3 双层事务管理体系 | 第121-122页 |
| ·概述 | 第121页 |
| ·过程级和活动级的事务管理 | 第121-122页 |
| §6.4 基于实现框架的系统总体结构 | 第122-123页 |
| §6.5 本章小结 | 第123-125页 |
| 第七章 结束语 | 第125-129页 |
| §7.1 论文的主要贡献 | 第125-126页 |
| §7.2 未来进一步的工作 | 第126-129页 |
| 致谢 | 第129-131页 |
| 攻读博士学位期间发表的论文 | 第131-133页 |
| 攻读博士学位期间参加的科研工作和获得的奖励 | 第133-135页 |
| 参考文献表 | 第135-142页 |
