| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-20页 |
| ·研究背景及意义 | 第11-12页 |
| ·工作流时间约束的研究现状及不足 | 第12-17页 |
| ·研究现状 | 第12-16页 |
| ·研究的不足 | 第16-17页 |
| ·论文的研究目标及工作内容 | 第17-19页 |
| ·研究目标 | 第17页 |
| ·工作内容 | 第17-19页 |
| ·论文的组织结构 | 第19-20页 |
| 第二章 相关技术 | 第20-30页 |
| ·工作流技术简介 | 第20-25页 |
| ·工作流的定义和相关概念 | 第20-23页 |
| ·工作流管理系统的定义和功能 | 第23-25页 |
| ·工作流模式 | 第25-27页 |
| ·YAWL工作流描述语言 | 第27-29页 |
| ·YAWL概述 | 第27-28页 |
| ·YAWL建模元素 | 第28-29页 |
| ·YAWL中的时间服务 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第三章 工作流中的时间管理 | 第30-38页 |
| ·工作流时间管理概述 | 第30-31页 |
| ·工作流时间约束的建模 | 第31-34页 |
| ·工作流时间约束的分类 | 第31-32页 |
| ·时间约束的建模 | 第32-33页 |
| ·时间约束验证 | 第33-34页 |
| ·工作流时间约束的实施 | 第34-36页 |
| ·流程实例化阶段 | 第34-35页 |
| ·流程运行阶段 | 第35-36页 |
| ·工作流时间约束的分析 | 第36-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 工作流模式的时间建模研究 | 第38-50页 |
| ·时间约束的表示 | 第38-39页 |
| ·工作流模式的时间建模方法 | 第39-41页 |
| ·工作流模式的时间约束分析及建模 | 第41-48页 |
| ·基本控制流模式 | 第41-42页 |
| ·高级分支和同步模式 | 第42-44页 |
| ·结构化模式 | 第44页 |
| ·多实例模式 | 第44-46页 |
| ·基于状态的模式 | 第46-47页 |
| ·取消模式 | 第47-48页 |
| ·建模实例 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 工作流时间约束网络的建立及其一致性验证 | 第50-71页 |
| ·定性时间约束的定量化处理 | 第50-52页 |
| ·工作流中时间约束的表示 | 第52-53页 |
| ·工作流的时间约束网络 | 第53-56页 |
| ·WTCN的定义 | 第53页 |
| ·简单WTCN的表示 | 第53页 |
| ·SWN的最小化和时间约束一致性验证 | 第53-56页 |
| ·基于工作流模式分析的WTCN建立方案 | 第56-63页 |
| ·工作流模型执行路径的确定 | 第57-59页 |
| ·结构时间约束的获得 | 第59-62页 |
| ·非结构时间约束的加入 | 第62-63页 |
| ·时间关系模型到WTCN的转换 | 第63页 |
| ·WTCN建立方案及其一致性验证在YAWL中的应用 | 第63-70页 |
| ·方案适用性分析 | 第64页 |
| ·具体实现 | 第64-66页 |
| ·实际运行情况 | 第66-70页 |
| ·本章小结 | 第70-71页 |
| 第六章 基于时间约束的动态过程建模框架研究 | 第71-79页 |
| ·动态工作流模型 | 第71页 |
| ·需求实例 | 第71-73页 |
| ·实例分析 | 第73-74页 |
| ·动态过程建模框架的建立 | 第74-77页 |
| ·框架性能分析 | 第77-78页 |
| ·本章小结 | 第78-79页 |
| 第七章 总结与展望 | 第79-81页 |
| ·论文总结 | 第79-80页 |
| ·研究展望 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 致谢 | 第84-85页 |
| 攻读硕士期间发表的文章 | 第85页 |