一种时间工作流模型的启发式分析方法

• 作者: 李慧芳 范玉顺
• 来源期刊: 中国机械工程
• 关键词: 工作流 时间建模 可调度分析 验证
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 科学基金
• 页码范围: 163-167
• 页数: 5页
• 分类号: F270.7
• 语种: 中文
• DOI: 10.3321/j.issn:1004-132X.2004.02.020

摘要

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