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

摘要：

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

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

所属期刊栏目：15

分类号：F270.7(企业经济)

资助基金：国家自然科学基金60274046;国家高技术研究发展计划863计划2001AA415340

在线出版日期：2004-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：163-167