时间约束工作流模型的可调度性分析算法.PDFVIP

李慧芳，范玉顺，《计算机集成制造系统 CIMS》，Vol.8 ，No.7 ，2002 ，pp.527-532 时间约束工作流模型的可调度性分析算法 李慧芳 范玉顺 (清华大学自动化系，北京·100084) 摘要：工作流管理的最终目的是确保恰当的人在恰当的时间执行恰当的活动，一个满足工作 流控制逻辑却违反特定时间限制的业务活动是没有实际意义的。因此，在工作流模型投入运 行前，需要对工作流过程模型进行时间规格说明与验证，以确保工作流管理系统的时间行为 正确性。本文针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri 网的 工作流时间约束建模方法。首先，将工作流网扩展为时间约束工作流网，然后分析了工作流 网的时间特性，并提出了时间约束工作流网的可调度性分析算法。研究结果表明，本文提出 的建模方法能全面描述工作流系统中的时间信息，对丰富工作流系统的时间约束建模理论具 有重要的参考价值。 关键词：工作流；时间约束；Petri 网；可调度性分析 中图分类号：F270.7 文献标识码：A Schedulability Analysis Algorithm for Timing Constraint Workflow Models Li Huifang and Fan Yushun (Department of Automation, Tsinghua University, Beijing, 100084, PRC) Abstract The ultimate goal of workflow management is to make sure that the proper activities are executed by the right person at the right time, a business activity which satisfies workflow control logic but violates specified time constraints is actually insignificant. So a workflow model requires time specification and verification before it is instanced and executed to guarantee the correctness of time behavior in WorkFlow Management Systems (WFMS). For the important limitation of actual WFMS, a Petri nets-based workflow modeling method for time constraints is put forward in this paper. Firstly, we extend Workflow nets with time constraints and call the new nets Timing Constraint WorkFlow nets (TCWF-nets), then after analyzing the timing property of WorkFlow nets (WF-nets), the schedulability analysis algorithm of TCWF-nets is proposed. Research results show that our method can roundly describe time information and has important reference value in enriching the time constraint modeling in WFMS. Keywords Workflow; Modeling; Time Constraints; Petri Nets; Schedulabilit