首页 | 本学科首页   官方微博 | 高级检索  
     

基于时间Petri网的工作流模型分析
引用本文:李慧芳,范玉顺. 基于时间Petri网的工作流模型分析[J]. 软件学报, 2004, 15(1): 17-26
作者姓名:李慧芳  范玉顺
作者单位:1. 清华大学,自动化系,CIMS中心,北京,100084;北京理工大学,自动控制系,北京,100081
2. 清华大学,自动化系,CIMS中心,北京,100084
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60274046 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2001AA415340 (国家高技术研究发展计划(863))
摘    要:工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.

关 键 词:工作流  时序一致性  Petri网  可调度性  验证
收稿时间:2002-11-25
修稿时间:2003-01-28

Workflow Model Analysis Based on Time Constraint Petri Nets
LI Hui-Fang and FAN Yu-Shun. Workflow Model Analysis Based on Time Constraint Petri Nets[J]. Journal of Software, 2004, 15(1): 17-26
Authors:LI Hui-Fang and FAN Yu-Shun
Abstract:The ultimate goal of workflow management is to implement the right person executes the right activity at the right time. To make enterprises more competitive, time-related restrictions of business processes should be considered in workflow models. A workflow model, which considers time related factors, requires time specification and verification before it goes into production so as to guarantee the time coordination in workflow executions. Through extending time attributes for the elements in WF-nets, this paper investigates the integration of the time constraints imposed on business processes into their workflow models and the new nets are called TCWF-nets. Based on analyzing the schedulability of business activities, a time consistency verification method is put forward to assure safe time interactions between activities during workflow executions. The schedulability analysis method can not only check for the time feasibility of its execution for a given workflow schedule when the time constraints are imposed on business processes, but also give an optimal schedule to guarantee the minimum duration of workflow execution for a specific case. Research results show that this method supports the time modeling and analysis in business processes, and has an important value in enhancing time management functionality as well as the adaptability to dynamic business environments of current WFMS.
Keywords:workflow   time consistency   Petri nets   schedulability   verification
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号