| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 1 绪论 | 第8-16页 |
| ·工作流管理系统研究现状和问题描述 | 第8-10页 |
| ·工作流管理系统中事务处理的引入 | 第10-12页 |
| ·工作流管理系统中事务处理的研究现状 | 第12-15页 |
| ·事务模型的发展 | 第12-13页 |
| ·典型产品 | 第13-14页 |
| ·现有事务处理方案的不足之处 | 第14-15页 |
| ·本文的主要工作及其创新点 | 第15-16页 |
| 2 工作流事务模型研究 | 第16-25页 |
| ·传统的事务概念 | 第16-18页 |
| ·事务的状态 | 第16-17页 |
| ·事务的ACID 特性 | 第17-18页 |
| ·高级事务模型 | 第18-22页 |
| ·嵌套事务模型 | 第18-19页 |
| ·Sagas | 第19页 |
| ·分支/汇合事务模型 | 第19页 |
| ·ACTA | 第19-20页 |
| ·ConTracts | 第20-22页 |
| ·工作流事务与传统事务的分析比较 | 第22页 |
| ·工作流事务与高级事务模型中事务的分析比较 | 第22-24页 |
| ·工作流管理系统中事务处理的难点 | 第24-25页 |
| 3 基于事务语义的工作流建模 | 第25-37页 |
| ·模型的控制结构 | 第25-29页 |
| ·选用Petri 网用于工作流控制结构的几个理由 | 第25-26页 |
| ·Petri 网的定义 | 第26页 |
| ·Petri 网的属性 | 第26-27页 |
| ·工作流网的定义 | 第27页 |
| ·利用Petri 网、工作流网构建工作流模型控制结构 | 第27-29页 |
| ·模型中活动的一致性关系分类 | 第29-31页 |
| ·一致活动集 | 第29-30页 |
| ·活动依赖关系 | 第30-31页 |
| ·模型中的事务语义 | 第31-35页 |
| ·工作流中活动的事务语义 | 第31-33页 |
| ·事务范围/原子区域 | 第33-35页 |
| ·事务范围数据结构的表达 | 第35-37页 |
| 4 基于两层次运行记录的恢复模型的建立 | 第37-48页 |
| ·工作流中常见故障与处理 | 第37-39页 |
| ·引擎故障与处理 | 第37-38页 |
| ·应用故障与处理 | 第38页 |
| ·通信故障与处理 | 第38-39页 |
| ·事务工作流的特殊属性 | 第39-40页 |
| ·事务工作流的混合事务性 | 第39页 |
| ·松弛隔离性与松弛原子性 | 第39-40页 |
| ·事务工作流恢复点 | 第40页 |
| ·两层次模型和运行记录的建立 | 第40-48页 |
| ·两层次模型的建立 | 第40-42页 |
| ·两层次运行记录的内容和结构（log & Wflog） | 第42-44页 |
| ·执行机制 | 第44页 |
| ·错误处理和恢复机制 | 第44-48页 |
| 5 结论及今后的工作 | 第48-50页 |
| ·结论 | 第48-49页 |
| ·未来工作展望 | 第49-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 附录 | 第53页 |