| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 引言 | 第10-12页 |
| ·论文背景与研究意义 | 第10-11页 |
| ·论文结构 | 第11-12页 |
| 第二章 工作流理论概述 | 第12-22页 |
| ·工作流技术发展历史 | 第12-13页 |
| ·工作流的基本概念 | 第13-14页 |
| ·工作流参考模型 | 第14-15页 |
| ·工作流管理系统 | 第15-18页 |
| ·工作流定义工具 | 第16页 |
| ·工作流引擎 | 第16-17页 |
| ·表单工具 | 第17页 |
| ·应用集成 | 第17页 |
| ·流程监控管理和操纵 | 第17-18页 |
| ·XPDL流程定义规范 | 第18-21页 |
| ·XPDL的特性 | 第18页 |
| ·XPDL包定义模型 | 第18-19页 |
| ·XPDL流程模型 | 第19-20页 |
| ·流程活动(Process Activity) | 第20页 |
| ·流程迁移(Transition) | 第20-21页 |
| ·应用程序定义(Application) | 第21页 |
| ·小结 | 第21-22页 |
| 第三章 工作流异常处理 | 第22-31页 |
| ·工作流异常基本概念 | 第22页 |
| ·工作流异常分类 | 第22-23页 |
| ·工作流模型异常 | 第22-23页 |
| ·工作流执行期间异常 | 第23页 |
| ·工作流异常处理方式 | 第23-25页 |
| ·工作流异常处理模型 | 第25-30页 |
| ·工作流执行期间异常 | 第25-26页 |
| ·工作流异常处理模型 | 第26-30页 |
| ·小结 | 第30-31页 |
| 第四章 工作流中的事务 | 第31-39页 |
| ·传统事务模型 | 第31-32页 |
| ·高级事务模型 | 第32-34页 |
| ·嵌套事务模型 | 第33页 |
| ·传奇事务模型(Sagas) | 第33-34页 |
| ·柔性事务模型 | 第34页 |
| ·协同活动事务模型 | 第34页 |
| ·ACTA事务模型 | 第34页 |
| ·面向工作流管理的事务模型 | 第34-35页 |
| ·ConTracts事务模型 | 第34-35页 |
| ·事务工作流 | 第35页 |
| ·工作流执行失败处理策略 | 第35-38页 |
| ·直接退出 | 第35-36页 |
| ·无补偿回滚 | 第36-37页 |
| ·有补偿回滚 | 第37页 |
| ·动态补偿回滚 | 第37-38页 |
| ·小结 | 第38-39页 |
| 第五章 工作流验证 | 第39-45页 |
| ·工作流验证概述 | 第39页 |
| ·工作流模型结构异常分类 | 第39-40页 |
| ·工作流模型结构验证标准 | 第40-41页 |
| ·工作流结构验证方法 | 第41-44页 |
| ·形式化验证 | 第41-42页 |
| ·图形归约法 | 第42-43页 |
| ·邻接矩阵法 | 第43页 |
| ·状态空间法 | 第43页 |
| ·过程逻辑法 | 第43-44页 |
| ·小结 | 第44-45页 |
| 第六章 基于XPDL的事务工作流的设计与实现 | 第45-65页 |
| ·对XPDL规范的扩展 | 第45-48页 |
| ·XPDL中Package元素的扩展 | 第46页 |
| ·XPDL中Activity的扩展 | 第46-47页 |
| ·XPDL中ActivitySet和BlockActivity的重新定义 | 第47-48页 |
| ·工作流引擎功能扩展 | 第48-51页 |
| ·流程执行模型的扩展 | 第48-50页 |
| ·工作流引擎解析功能扩展 | 第50-51页 |
| ·事务处理器的设计和实现 | 第51-59页 |
| ·事务处理器框架 | 第51页 |
| ·事务处理器持久层设计 | 第51-54页 |
| ·事务管理的结构 | 第54-57页 |
| ·事务对象设计 | 第57-59页 |
| ·事务工作流执行流程 | 第59页 |
| ·事务处理器的测试 | 第59-64页 |
| ·事务工作流的定义 | 第59-63页 |
| ·事务工作流的部署和执行 | 第63-64页 |
| ·结果分析 | 第64页 |
| ·小结 | 第64-65页 |
| 第七章 工作流验证器的设计与实现 | 第65-85页 |
| ·流程验证基本框架 | 第65-66页 |
| ·XPDL验证器验证流程 | 第66-67页 |
| ·流程结构简化 | 第67-69页 |
| ·XPDL中的基本流程结构 | 第67-68页 |
| ·流程结构化简实现 | 第68-69页 |
| ·XPDL验证模型映射 | 第69-77页 |
| ·扩展Petri网 | 第69-71页 |
| ·执行模型和验证模型的映射 | 第71-73页 |
| ·XPDL映射算法实现 | 第73-77页 |
| ·结构验证算法设计 | 第77-81页 |
| ·不可达结构异常检测算法设计 | 第77-78页 |
| ·死锁结构异常检测算法设计 | 第78-79页 |
| ·死循环结构异常检测算法设计 | 第79-81页 |
| ·工作流验证器测试 | 第81-84页 |
| ·验证模型获取 | 第81-83页 |
| ·使用验证算法验证 | 第83-84页 |
| ·小结 | 第84-85页 |
| 第八章 研究总结及展望 | 第85-87页 |
| ·总结 | 第85页 |
| ·展望 | 第85-87页 |
| 参考文献 | 第87-88页 |
| 致谢 | 第88页 |