时间管理是工作流管理系统的重要组成部分。企业应用越复杂,对工作流时间管理技术的要求越高。由于时间概念表示、分析的复杂性,以及缺乏统一的时间建模规范与标准,对工作流中的时间信息的有效建模成为当前的研究热点。开展工作流时间建模及时间管理研究对于丰富工作流建模理论、确保工作流计划的高效执行和有效实施企业复杂应用具有重要意义。工作流模式理论形成之后并没有进一步地突破,只有很少几种建模方法有意识地运用了工作流模式来作为重要的设计准则。YAWL(Yet Another WorkflowLanguage)工作流语言虽然可以全面地直接支持工作流模式并且具有图形化、形式化的优点,但是在工作流时间管理方面比较薄弱。另外,传统的工作流系统因为缺少适应性而备受质疑。本论文针对以上问题,展开以下方面的研究:首先,在分析时间约束的基础上,深入研究工作流模式及其包含的时间信息,结合区间时间表达方法和点时间表达方法提出一种工作流模式的时间建模方法,并将它用于经典工作流模式的时间约束建模过程中。其次,在工作流时间约束网络的建立和时间约束一致性验证两个方面进行了较为深入的研究。结合工作流时间约束的表示及其转换给出工作流时间约束网络WTCN(Workflow Temporal Constraint Networks)的定义及其相关运算。在此基础上,基于工作流模式的时间约束分析给出一种WTCN的建立方案,进而使用时间约束一致性验证算法完成过程冲突检测任务。之后以签证办理过程为实例,给出了具体实现过程和实际运行效果。最后,针对在过程建模阶段无法完全预定义的业务过程,在时间约束概念的基础上建立了一种动态可适应的过程建模框架,用以解决动态修改过程定义时涉及到的工作流时间约束正确性和一致性问题。在这个框架中,执行过程可以根据特殊需求在流程运行时由直观的图形语言定制,而过程时间约束的正确性和一致性分析则通过时间约束网络推理来证明。