摘要：立足于实际业务过程对工作流系统时间管理功能的需求,提出了一种新的工作流时间建模与分析方法.为工作流网的元素扩展时间属性建模业务过程的时间因素;讨论了时序业务环境中活动的可调度分析,给出了时序一致性验证方法;提出了启发式可调度性分析方法,用于验证某一给定工作流实例执行的时间可行性.研究结果表明,所提方法不仅支持业务过程的时间约束规范与验证,还对丰富工作流时间建模理论具有重要意义.

关键词：工作流 时间建模 可调度分析 验证 

单位：清华大学自动化系国家CIMS工程技术研究中心; 北京; 100084; 北京理工大学自动控制系; 北京; 100081; 清华大学自动化系国家CIMS工程技术研究中心; 北京; 100084