一种基于资源约束的工作流建模及分析方法

摘要

Resource constraint is a choke point of workflow system, and the efficient resource modeling and Verification methods are more important for workflow management system( WFMS). A new formal method used to model and analyze workflow system with resource constraint,resource workflow net,is presented based on Petri net and workflow techniques in this paper. Based on the definition of resource space(RS) , resource subnet, resource workflow net(RWF-net) ,and soundness of the RWF-net,the resource scheduling views model formulated in WFMS are described and translated into Petri net, and a necessary and sufficient condition for the soundness of RWF-net is presented. The method integrate process model and resource model that can solve system analysis and verification problem for the process and resource modeled respectively and assure the consistency between process model and resource model. The usability of the research results in this paper is illustrated by an example.%资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.