基于AOV-网的工作流模型研究与系统实现
| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第1章 绪论 | 第9-15页 |
| ·课题研究背景、目的和意义 | 第9-10页 |
| ·工作流管理的历史和现状 | 第10-13页 |
| ·工作流管理的历史 | 第10页 |
| ·工作流管理的发展现状 | 第10-11页 |
| ·有关文献 | 第11-13页 |
| ·本文的研究内容和方案 | 第13页 |
| ·本文研究内容 | 第13页 |
| ·本文的研究方案 | 第13页 |
| ·本文的组织结构 | 第13-15页 |
| 第2章 工作流管理技术 | 第15-25页 |
| ·工作流的基本模型 | 第15-21页 |
| ·有向图 | 第15-16页 |
| ·AOE-网 | 第16页 |
| ·自动机 | 第16-18页 |
| ·Petri-网 | 第18-19页 |
| ·AOV-网 | 第19-20页 |
| ·其他的工作流模型 | 第20-21页 |
| ·工作流的执行 | 第21-22页 |
| ·可执行工作流 | 第21页 |
| ·抽象工作流 | 第21-22页 |
| ·人员管理方式 | 第22页 |
| ·工作流的相关标准和技术 | 第22-25页 |
| 第3章 基于AOV-网的工作流模型 | 第25-38页 |
| ·基本模型的选择 | 第25-27页 |
| ·开发需求 | 第25-27页 |
| ·AOV-网的优点和待改善的方面 | 第27页 |
| ·工作流模型的形式化定义 | 第27-38页 |
| ·顶点的基本时序关系 | 第28-29页 |
| ·工作流的分支和并行 | 第29-30页 |
| ·分支汇聚点的同步 | 第30-31页 |
| ·分支设计规则 | 第31-33页 |
| ·回路的设计规则 | 第33-35页 |
| ·汇聚点同步性问题的证明 | 第35-36页 |
| ·工作流图中的子流程 | 第36-38页 |
| 第4章 工作流管理系统的设计 | 第38-52页 |
| ·分支结构的验证 | 第38-40页 |
| ·遍历和检测方法 | 第38-39页 |
| ·分支检测方法的理论证明 | 第39-40页 |
| ·回路的结构验证 | 第40-43页 |
| ·拓扑缩图 | 第40-41页 |
| ·回路的检测方法 | 第41-42页 |
| ·汇聚点同步的实现 | 第42-43页 |
| ·工作流系统的软件设计 | 第43-48页 |
| ·工作流系统的层次模型 | 第43-44页 |
| ·活动与数据库的映射 | 第44-46页 |
| ·工作流系统的体系结构 | 第46-47页 |
| ·工作流定义的可视化 | 第47-48页 |
| ·工作流的动态配置 | 第48-52页 |
| ·概述 | 第48-49页 |
| ·动态配置的分类 | 第49页 |
| ·动态配置的基本约束 | 第49-50页 |
| ·动态配置的实现方法 | 第50-52页 |
| 第5章 系统的实现 | 第52-67页 |
| ·XPDL 标准 | 第52-54页 |
| ·XPDL 简介 | 第52页 |
| ·XPDL 的结构 | 第52-54页 |
| ·工作流定义的解析 | 第54页 |
| ·工作流的执行 | 第54-60页 |
| ·活动的处理方式 | 第54-55页 |
| ·分支和并行的实现 | 第55-56页 |
| ·活动的提交 | 第56-58页 |
| ·活动的自动处理 | 第58-60页 |
| ·表达式的动态计算 | 第60-62页 |
| ·概述 | 第60页 |
| ·实现方法 | 第60-62页 |
| ·提醒报警功能 | 第62页 |
| ·工作流系统的应用结果 | 第62-67页 |
| ·工作流的定义和配置 | 第62-64页 |
| ·工作流的执行 | 第64-65页 |
| ·提醒和报警 | 第65页 |
| ·系统的特点 | 第65-67页 |
| 第6章 总结与展望 | 第67-69页 |
| ·研究工作总结 | 第67-68页 |
| ·未来研究的展望 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 附录：缩略语表 | 第72-74页 |
| 在学期间发表的论文及科研成果清单 | 第74-75页 |
| 致谢 | 第75页 |
