缺乏对时间管理的支持是当今工作流管理系统的一个重要不足,也是工作流技术实施复杂企业应用的严重局限。开展工作流时间管理的研究,对于丰富工作流建模理论、开发灵活和实用的工作流管理系统、确保工作流计划的高效执行和提高企业的竞争力具有重要意义。本论文对该领域中的工作流时间约束一致性验证和时间约束工作流调度两个部分进行了较为深入的研究。论文工作的主要成果表现在以下几个方面:1)基于时间约束网(TCN)的基本理论,提出了时间约束网“部分交”和“拆分”运算的概念,并对其具有的主要性质做了深入的分析,从而扩充了时间约束网的运算理论,使其能更好地运用于工作流时间约束的推理。2)基于论文中提出的TCN“部分交”和“拆分”运算,给出了工作流时间约束一致性验证算法WFTCCV,从工作流模型的整体上考虑了时间约束的一致性问题,从而保证了工作流模型的时间可调度性,弥补了传统方法中存在的不足。3)比较全面地考虑了工作流执行期间任一时刻各活动的当前状态,给出了为当前待调度活动制定最优执行计划的基于TCN的时间约束工作流调度算法TCWFS,弥补了相关研究的不足。