| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 引言 | 第9-11页 |
| 1 工作流时间管理综述 | 第11-21页 |
| 1．1 工作流系统 | 第11-14页 |
| 1．1．1 基本概念 | 第11-13页 |
| 1．1．2 工作流系统的分类 | 第13-14页 |
| 1．2 工作流系统时间管理的研究现状 | 第14-15页 |
| 1．3 工作流系统时间建模方法 | 第15-19页 |
| 1．3．1 基于工作流图的方法 | 第15-17页 |
| 1．3．2 基于Petri网的方法 | 第17-19页 |
| 1．4 工作流系统时间管理的不足 | 第19-20页 |
| 1．5 本文工作与创新 | 第20-21页 |
| 2 基于工作流图的工作流时间截止期限的动态验证方法 | 第21-35页 |
| 2．1 建模阶段的时间管理 | 第21-24页 |
| 2．1．1 时间工作流图的结构 | 第21-24页 |
| 2．1．2 时间工作流图的说明 | 第24页 |
| 2．2 用工作流图描述的工作流模型 | 第24-26页 |
| 2．3 截止期限的动态验证方法 | 第26-33页 |
| 2．3．1 执行时间的截止期限 | 第26-27页 |
| 2．3．2 时间计算 | 第27-28页 |
| 2．3．3 相关定义与定理 | 第28-30页 |
| 2．3．4 截止期限的动态验证过程 | 第30-33页 |
| 2．4 实例分析 | 第33-35页 |
| 3 基于HTPN的工作流模型可达性分析方法 | 第35-50页 |
| 3．1 工作流的路由结构 | 第35页 |
| 3．2 工作流控制机制 | 第35-39页 |
| 3．2．1 控制方式 | 第35-38页 |
| 3．2．2 用于控制的工作流成分 | 第38-39页 |
| 3．3 HTPN模型 | 第39-42页 |
| 3．3．1 工作流TPN模型 | 第39-40页 |
| 3．3．2 TPN模型转化成 HTPN的规则 | 第40-41页 |
| 3．3．3 TPN模型转化成 HTPN模型的算法 | 第41页 |
| 3．3．4 工作流HTPN模型 | 第41-42页 |
| 3．4 物理可达性分析 | 第42页 |
| 3．5 时间可达性验证 | 第42-47页 |
| 3．5．1 子网组代表的执行时间 | 第42-44页 |
| 3．5．2 HTT(层次时间树)算法 | 第44-45页 |
| 3．5．3 截止期限静态验证方法 | 第45-46页 |
| 3．5．4 截止期限动态验证方法 | 第46-47页 |
| 3．6 实例分析 | 第47-50页 |
| 4 时间约束的验证技术在工作流管理系统中的实现 | 第50-57页 |
| 4．1 系统分析 | 第50-53页 |
| 4．1．1 特点 | 第50页 |
| 4．1．2 开发平台 | 第50-51页 |
| 4．1．3 运行平台 | 第51-52页 |
| 4．1．4 实现功能 | 第52-53页 |
| 4．2 时间约束验证方法在FlexWork中的应用 | 第53-57页 |
| 4．2．1 活动的时间约束 | 第54-55页 |
| 4．2．2 过程的时间约束 | 第55-57页 |
| 结论 | 第57-59页 |
| 参考文献 | 第59-63页 |
| 攻读硕士学位期间发表学术论文情况 | 第63-64页 |
| 致谢 | 第64-65页 |
| 大连理工大学学位论文版权使用授权书 | 第65页 |