| 摘要 | 第1-3页 |
| ABSTRACT | 第3-8页 |
| 第一章 绪论 | 第8-15页 |
| ·课题背景 | 第8-9页 |
| ·相关领域概述 | 第9-11页 |
| ·工作流管理系统概述 | 第9-11页 |
| ·事务处理概述 | 第11页 |
| ·工作流事务处理的需求和研究意义 | 第11-13页 |
| ·工作流事务处理的需求 | 第11-13页 |
| ·工作流事务的研究意义 | 第13页 |
| ·本文的研究内容 | 第13-14页 |
| ·论文结构 | 第14-15页 |
| 第二章 工作流管理系统中的事务模型 | 第15-28页 |
| ·工作流事务模型 | 第15-24页 |
| ·传奇事务（Sagas） | 第15-16页 |
| ·柔性事务（Flexibility） | 第16-19页 |
| ·Exotica/FMTM | 第19-20页 |
| ·ConTract 事务 | 第20-21页 |
| ·ACTA | 第21-22页 |
| ·ASSET 事务 | 第22-24页 |
| ·工作流事务与传统事务的分析比较 | 第24-25页 |
| ·工作流事务与高级事务模型中的事务的分析比较 | 第25-26页 |
| ·工作流管理系统中事务处理的难点 | 第26-28页 |
| 第三章 Esagas 模型定义与实现 | 第28-32页 |
| ·子事务属性分类 | 第29页 |
| ·可补偿事务失败处理 | 第29-31页 |
| ·定义子事务的关联矩阵 | 第29-30页 |
| ·可补偿事务失败处理过程 | 第30-31页 |
| ·补偿服务 | 第31-32页 |
| 第四章 Esagas 模型并发调度控制的实现 | 第32-39页 |
| ·事务工作流的调度 | 第32-34页 |
| ·循环冲突问题 | 第33-34页 |
| ·冲突检测粒度 | 第34页 |
| ·基于混合粒度冲突检测的并发控制 | 第34-39页 |
| ·子事务冲突定义 | 第34-35页 |
| ·事务（事务实例）不冲突的条件 | 第35页 |
| ·后继子事务类型集的构造 | 第35-37页 |
| ·基于事务实例锁集和后继子事务类型集的并发执行算法 | 第37-39页 |
| 第五章 Esagas 模型的实现和应用 | 第39-55页 |
| ·实现技术 | 第39-40页 |
| ·数据库的设计 | 第40-41页 |
| ·事务管理器分析 | 第41-43页 |
| ·事务管理器的主要功能 | 第41-42页 |
| ·事务管理器的内部结构 | 第42-43页 |
| ·事务管理器设计 | 第43-51页 |
| ·Esagas 模型中的事务对象设计 | 第43-46页 |
| ·Esagas 模型中的事务管理设计 | 第46-51页 |
| ·Esagas 模型在X 市排水管理系统中的应用 | 第51-55页 |
| ·系统简介 | 第51-52页 |
| ·合同管理的业务流程实例及Esagas 模型应用效果分析 | 第52-54页 |
| ·系统应用 | 第54-55页 |
| 第六章 结论 | 第55-57页 |
| ·本文完成的工作 | 第55页 |
| ·下一步工作 | 第55-57页 |
| 参考文献 | 第57-60页 |
| 致谢 | 第60-61页 |
| 攻读硕士学位期间完成的论文 | 第61-64页 |
| 上海交通大学硕士学位论文答辩决议书 | 第64页 |