| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 前言 | 第8-12页 |
| ·研究背景 | 第8页 |
| ·工作流发展 | 第8-9页 |
| ·Petri Nets工作流 | 第9-10页 |
| ·本文主要解决的问题 | 第10-11页 |
| ·本文结构 | 第11-12页 |
| 第二章 工作流管理系统概述 | 第12-21页 |
| ·工作流技术的产生和发展 | 第12-13页 |
| ·工作流定义 | 第13-14页 |
| ·工作流管理 | 第14-17页 |
| ·管理系统定义 | 第14页 |
| ·管理系统功能 | 第14-15页 |
| ·管理系统分类 | 第15-16页 |
| ·传统管理系统存在的局限 | 第16-17页 |
| ·工作流建模 | 第17-21页 |
| ·工作流参考模型 | 第17-19页 |
| ·主要工作流建模技术介绍 | 第19-21页 |
| 第三章 Petri Nets建模技术及其在工作流管理中的应用 | 第21-28页 |
| ·Petri Nets概述及发展状况 | 第21页 |
| ·Petri Nets定义 | 第21-25页 |
| ·经典 Petri Nets定义 | 第21-22页 |
| ·Petri Nets系统 | 第22-23页 |
| ·Petri Nets基本性质 | 第23-25页 |
| ·工作流网(WF net) | 第25-28页 |
| ·工作流网的定义 | 第25-26页 |
| ·工作流网的基本结构 | 第26-28页 |
| 第四章 审计管理平台系统业务建模 | 第28-51页 |
| ·业务流程概述 | 第28页 |
| ·项目立项阶段 | 第28-31页 |
| ·流程逻辑确定 | 第28-29页 |
| ·Petri Nets模型 | 第29-31页 |
| ·非现场准备阶段 | 第31-32页 |
| ·流程逻辑确定 | 第31-32页 |
| ·Petri Nets模型 | 第32页 |
| ·现场审计阶段 | 第32-37页 |
| ·流程逻辑确定 | 第32-34页 |
| ·Petri Nets模型 | 第34-37页 |
| ·审计结论阶段 | 第37-41页 |
| ·流程逻辑确定 | 第37-39页 |
| ·Petri Nets模型 | 第39-41页 |
| ·项目结束阶段 | 第41-45页 |
| ·流程逻辑确定 | 第41-43页 |
| ·Petri Nets模型 | 第43-45页 |
| ·Petri Nets模型计算与验证 | 第45-51页 |
| ·Petri Nets 工作流计算规则 | 第45-47页 |
| ·Petri Nets 工作流验证规则 | 第47-51页 |
| 第五章 审计管理系统设计与实现 | 第51-80页 |
| ·系统总体结构设计 | 第51-52页 |
| ·审计管理工作流引擎的设计和实现 | 第52-60页 |
| ·工作流引擎实现体系设计 | 第53-54页 |
| ·引擎内部系统之间的消息流动和控制 | 第54-55页 |
| ·触发机制 | 第55页 |
| ·消息控制器实现原理 | 第55-58页 |
| ·监视器实现原理 | 第58-60页 |
| ·系统数据库设计 | 第60-67页 |
| ·系统管理库表设计 | 第61-63页 |
| ·审计成果管理库表设计 | 第63-65页 |
| ·审计流程管理库表设计 | 第65-67页 |
| ·系统主要业务逻辑类设计 | 第67-74页 |
| ·审计实体业务逻辑设计 | 第67-69页 |
| ·审计项目业务逻辑设计 | 第69-72页 |
| ·审计文档业务逻辑设计 | 第72-74页 |
| ·系统主要模块功能介绍 | 第74-80页 |
| ·审计实体管理 | 第74-75页 |
| ·审计流程管理 | 第75-77页 |
| ·审计成果管理 | 第77-80页 |
| 第六章 结论与展望 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 致谢 | 第84页 |