支持时间建模与分析的工作流管理系统研究

基于实际业务环境对工作流时间管理功能的需求，深入分析考虑时间约束的工作流过程定义、模型验证与系统实施的复杂性，研究分析现有工作流时间建模与管理方法，提出集成时间约束的工作流模型定义机制与时序一致性验证方法；围绕工作流实例执行中活动之间复杂的时序协调问题，提出基于代理的活动调度方法，设计构建支持时间管理的工作流原型系统。