工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.

WRI WF-net: Verification and Implementation

WF-net is a workflow model based on Petri net.Soundness property is a correctness criteria in determining good WF-net models and an unsound WF-net model will lead to runtime errors.But the soundness verification is an NP-complete problem,and it widely obstructs the application of WFnet.WRI WF-net(a subclass of WF-net),a workflow model with inherent soundness property,is explored in this paper.When we apply WRI WF-net in workflow modeling,it is not necessary to verify soundness property,but we must ensure the model built by the user is a WRI WF-net.The structure of WRI WF-net is hierarchical.Each layer is a WA WF-net or an extended WA WF-net.In this paper,we present a top-down and layer-by-layer method to verify WRI WF-net.In this method,verifying whether each layer of the model is a WA WF-net or an extended WA WF-net is the key point.WA WF-net has two structure characters,no circuits and well handled.An efficient algorithm that can verify whether a normal WF-net with no circuits is well-handled or not is put forward,and based on the algorithm,a tool that is used to model and verify is implemented according to the top-down and layer-by-layer method.