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

Modeling and Verification of Workflow Based on Resource Constraint

作　　者：庞善臣[1,2] 

机构地区：[1]山东科技大学信息科学与工程学院,山东青岛266590 [2]清华大学计算机科学系,北京100084

出　　处：《电子学报》2012年第8期1497-1502,共6页Acta Electronica Sinica

基　　金：国家973重点基础研究发展规划(No.2010CB328105);国家自然科学基金(No.60970001;No.91018007;No.61170183);山东省优秀中青年科学家科研奖励基金(No.BS2011SW025;No.BS2011DX027)

摘　　要：资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.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 conslraint, 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.

关 键 词：资源约束 工作流网 资源子网 资源工作流网 完整性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]