| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 概述 | 第8-13页 |
| ·选题依据及意义 | 第8页 |
| ·国内外研究现状 | 第8-11页 |
| ·时间信息的表示 | 第8-9页 |
| ·时间约束一致性的验证 | 第9-10页 |
| ·时间性能的分析 | 第10页 |
| ·实例化过程中的任务调度 | 第10页 |
| ·时间异常的检测 | 第10页 |
| ·时间异常的处理 | 第10页 |
| ·其它有关研究内容 | 第10-11页 |
| ·论文研究工作的主要内容 | 第11页 |
| ·论文研究工作的主要成果 | 第11-12页 |
| ·论文的组织和结构 | 第12-13页 |
| 第二章 工作流技术简介 | 第13-16页 |
| ·工作流的基本概念和定义 | 第13页 |
| ·过程建模 | 第13-14页 |
| ·简述 | 第13-14页 |
| ·工作流模型中的控制结构 | 第14页 |
| ·工作流模型的表示 | 第14页 |
| ·工作流执行控制 | 第14-15页 |
| ·工作流管理系统中的人机交互 | 第15页 |
| ·本章小结 | 第15-16页 |
| 第三章 时间约束网(TCN) | 第16-24页 |
| ·引言 | 第16页 |
| ·时间约束满足问题(TCSP)的约束网模型 | 第16-17页 |
| ·简单时间问题(STP)约束网的表示方法 | 第17-18页 |
| ·时间约束网的基本运算 | 第18-20页 |
| ·时间约束网的最小化 | 第18页 |
| ·时间约束网的一致性判断 | 第18-19页 |
| ·时间约束网的求解 | 第19页 |
| ·时间约束网的并和交 | 第19-20页 |
| ·时间约束网运算的扩充 | 第20-23页 |
| ·时间约束网的部分交 | 第20-22页 |
| ·时间约束网的拆分 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第四章 基于TCN的工作流时间约束一致性验证算法 | 第24-41页 |
| ·问题的描述 | 第24-25页 |
| ·工作流模型中的时间约束 | 第24-25页 |
| ·工作流模型中时间约束一致性验证的目的 | 第25页 |
| ·一些约定 | 第25-26页 |
| ·相关研究 | 第26-28页 |
| ·深入分析 | 第28-30页 |
| ·工作流时间约束一致性验证算法WFTCCV的提出 | 第30-39页 |
| ·算法原理 | 第30-31页 |
| ·算法总体框架 | 第31-32页 |
| ·算法描述 | 第32-37页 |
| ·算法补充说明 | 第37-39页 |
| ·算法性能分析 | 第39页 |
| ·示例说明 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第五章 基于TCN的时间约束工作流调度算法 | 第41-48页 |
| ·问题的描述和分析 | 第41页 |
| ·相关研究分析 | 第41-43页 |
| ·时间约束工作流调度算法TCWFS的提出 | 第43-46页 |
| ·算法目标 | 第43页 |
| ·算法描述及其说明 | 第43-46页 |
| ·算法性能分析 | 第46页 |
| ·示例说明 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 第六章 结束语 | 第48-49页 |
| ·论文总结 | 第48页 |
| ·进一步的研究工作 | 第48-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-52页 |
| 附录A 工作流模型3 实例化过程中需满足的充分必要时间约束 | 第52-54页 |
| 附录B 4.6 节中的实验数据 | 第54-66页 |
| 作者发表论文 | 第66页 |