基于着色Petri网的事务工作流模型的研究与应用
| 独创性说明 | 第1-4页 |
| 摘要 | 第4-5页 |
| Abstract | 第5-9页 |
| 引言 | 第9-11页 |
| 1 工作流管理系统的研究现状 | 第11-19页 |
| ·工作流管理系统 | 第11页 |
| ·工作流管理系统的研究方向 | 第11-13页 |
| ·工作流管理系统中事务处理的需求 | 第13-15页 |
| ·事务处理概述 | 第13-14页 |
| ·事务处理的引入 | 第14-15页 |
| ·工作流管理系统中事务处理的研究现状及意义 | 第15-17页 |
| ·事务模型的发展 | 第15-16页 |
| ·现有事务处理方案的不足之处 | 第16-17页 |
| ·本文的主要工作及创新点 | 第17-18页 |
| ·本文的组织结构 | 第18-19页 |
| 2 工作流的事务模型研究 | 第19-29页 |
| ·数据库中事务的概念 | 第19-20页 |
| ·事务的状态 | 第19-20页 |
| ·事务的特性 | 第20页 |
| ·工作流事务处理的特点 | 第20-21页 |
| ·工作流事务与数据库事务的分析比较 | 第21-22页 |
| ·高级事务模型 | 第22-27页 |
| ·嵌套事务模型 | 第22-23页 |
| ·Sagas | 第23页 |
| ·分支/汇合事务模型 | 第23-24页 |
| ·ACTA | 第24页 |
| ·ConTracts | 第24-25页 |
| ·事务工作流 | 第25-27页 |
| ·工作流事务与高级事务模型中事务的分析比较 | 第27页 |
| ·工作流模型与事务模型的对比 | 第27-28页 |
| ·工作流管理系统中事务处理的难点 | 第28-29页 |
| 3 工作流模型中的事务语义及恢复策略 | 第29-40页 |
| ·模型中的事务语义 | 第29-33页 |
| ·活动的事务语义 | 第29-30页 |
| ·事务范围 | 第30-31页 |
| ·事务范围数据结构的表达 | 第31-32页 |
| ·定义可补偿事务对象 | 第32-33页 |
| ·工作流模型中的错误分类及错误模型 | 第33-35页 |
| ·错误处理 | 第35-36页 |
| ·工作流事务恢复执行模式 | 第36-40页 |
| ·用户层的恢复执行 | 第36页 |
| ·系统层的恢复执行模式 | 第36-40页 |
| 4 基于着色 Petri网的事务工作流模型 | 第40-61页 |
| ·基于Petri网的工作流建模方法 | 第40-45页 |
| ·Petri网基本概念 | 第40-41页 |
| ·Petri网建造工作流模型的优点 | 第41-43页 |
| ·着色 Petri网 | 第43-45页 |
| ·任务网工作流模型 | 第45-48页 |
| ·任务状态 | 第46页 |
| ·任务网 | 第46-48页 |
| ·任务网的转换 | 第48-51页 |
| ·任务状态结构的转换过程 | 第48-49页 |
| ·基本工作流说明的转换过程 | 第49-51页 |
| ·任务状态依赖及冲突与冗余分析 | 第51-57页 |
| ·任务状态依赖的分类 | 第51-52页 |
| ·任务状态依赖 | 第52-56页 |
| ·任务状态依赖之间的冲突检测 | 第56-57页 |
| ·任务状态依赖的冗余分析 | 第57页 |
| ·实例说明 | 第57-61页 |
| 5 事务处理系统的设计与实现 | 第61-69页 |
| ·系统的总体结构 | 第61-62页 |
| ·过程建模子系统的设计 | 第62-65页 |
| ·功能简介 | 第62-63页 |
| ·用户界面设计 | 第63-65页 |
| ·运行服务子系统的设计 | 第65-69页 |
| ·功能简介 | 第65-66页 |
| ·体系结构 | 第66-67页 |
| ·事务服务器的内部结构 | 第67-69页 |
| 结论 | 第69-70页 |
| 参考文献 | 第70-73页 |
| 攻读硕士学位期间发表学术论文情况 | 第73-74页 |
| 致谢 | 第74-75页 |
| 大连理工大学学位论文版权使用授权书 | 第75页 |
