| Abstract | 第1-9页 |
| 1 工作流管理系统技术概述 | 第9-19页 |
| 1．1 工作流问题的起源与发展 | 第9-10页 |
| 1．2 工作流定义及相关概念 | 第10-13页 |
| 1．2．1 工作流定义 | 第10-11页 |
| 1．2．2 工作流相关概念 | 第11-13页 |
| 1．3 工作流管理系统 | 第13-15页 |
| 1．3．1 工作流管理系统定义及功能 | 第13页 |
| 1．3．2 工作流管理系统参考模型 | 第13-15页 |
| 1．4 工作流管理系统的分类 | 第15-16页 |
| 1．5 采用工作流管理系统的好处 | 第16-17页 |
| 1．6 工作流管理系统的现状 | 第17-19页 |
| 2 工作流时间约束管理 | 第19-27页 |
| 2．1 工作流时间问题 | 第20页 |
| 2．2 工作流时间约束分类及表示 | 第20-23页 |
| 2．3 工作流时间约束的建模 | 第23-24页 |
| 2．3．1 基于工作流图的方法 | 第23页 |
| 2．3．2 基于时间Petri网及其扩展的方法 | 第23-24页 |
| 2．4 工作流时间约束的分析 | 第24-25页 |
| 2．4．1 时序一致性验证 | 第24-25页 |
| 2．4．2 工作流执行时间监控 | 第25页 |
| 2．5 工作流时间约束违反的处理 | 第25页 |
| 2．6 工作流时间约束研究的不足及热点 | 第25-27页 |
| 2．6．1 工作流时间约束研究的不足 | 第25-26页 |
| 2．6．2 工作流时间约束研究的热点 | 第26-27页 |
| 3 基于时间PETRI网的工作流时间约束研究:截止期限的分配与调整 | 第27-39页 |
| 3．1 基于时间PETRI网的工作流模型 | 第27-31页 |
| 3．1．1 基于PETRI网的工作流模型 | 第27-29页 |
| 3．1．2 基于时间PETRI网的工作流模型 | 第29-31页 |
| 3．2 工作流时间约束之截止期限静态分配 | 第31-33页 |
| 3．3 工作流时间约束之截止期限动态调整 | 第33-35页 |
| 3．4 动态调整的不足及对策 | 第35-36页 |
| 3．5 工作流时间约束之截止期限动态调整实例 | 第36-39页 |
| 4 考务办公信息系统的分析、设计、实现 | 第39-60页 |
| 4．1 系统简介 | 第39-41页 |
| 4．1．1 系统运行环境 | 第39页 |
| 4．1．2 系统开发环境 | 第39-40页 |
| 4．1．3 系统总体体系结构 | 第40-41页 |
| 4．2 系统分析 | 第41-43页 |
| 4．2．1 系统功能分析 | 第41-42页 |
| 4．2．2 系统目标分析 | 第42-43页 |
| 4．3 系统设计 | 第43-47页 |
| 4．3．1 系统功能模块设计 | 第43-46页 |
| 4．3．2 系统数据库设计 | 第46-47页 |
| 4．4 系统的功能实现 | 第47-55页 |
| 4．4．1 网上考务处理模块实现 | 第47-48页 |
| 4．4．2 考务管理服务模块实现 | 第48-55页 |
| 4．5 考务办公信息系统中的时间约束及其管理 | 第55-56页 |
| 4．5．1 考务办公信息系统中的时间约束 | 第55页 |
| 4．5．2 考务办公信息系统中的时间约束管理及失败异常处理 | 第55-56页 |
| 4．6 系统主要算法设计:考场座位安排算法 | 第56-60页 |
| 4．6．1 问题描述 | 第56-57页 |
| 4．6．2 算法分析与设计 | 第57-58页 |
| 4．6．3 算法正确性及时间空间复杂度分析 | 第58-60页 |
| 5 时间PETRI网的线性逻辑推理及其在考务办公工作流系统中的应用 | 第60-69页 |
| 5．1 基于时间PETRI网模型的线形逻辑推理 | 第60-64页 |
| 5．1．1 顺序分支 | 第60-61页 |
| 5．1．2 并行分支 | 第61-62页 |
| 5．1．3 自由选择分支 | 第62页 |
| 5．1．4 条件选择分支 | 第62-63页 |
| 5．1．5 循环分支 | 第63-64页 |
| 5．1．6 复合工作流模型的线性推理 | 第64页 |
| 5．2 基于工作流技术的考务办公系统设计概要 | 第64-67页 |
| 5．2．1 基于工作流技术的考务办公系统流程描述 | 第65-66页 |
| 5．2．2 基于工作流技术的考务办公系统时间PETRI网模型 | 第66-67页 |
| 5．3 时间PETRI网的线性逻辑推理在考务办公工作流系统中的应用 | 第67-69页 |
| 结 论 | 第69-71页 |
| 参考文献 | 第71-74页 |
| 攻读硕士学位期间发表学术论文情况 | 第74-75页 |
| 致谢 | 第75-76页 |
| 大连理工大学学位论文版权使用授权书 | 第76页 |
