欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
WF-net是一种工作流模型，合理性是衡量WF-net模型正确性的一个标准，不合理的工作流模型会导致运行错误．但是合理性验证问题是NP-complete问题，妨碍了WF-net的广泛应用．工作流模型WRI WF-net是WF-net的子集，能够直接保证工作流模型的合理性，这样只需确保用户建立的工作流模型符合WRI WF-net的约束，而不需要进行合理性验证．提出一个WRI WF-net的验证方法，能够在结构上验证模型是否满足WRI WF-net的约束，并且阐述了方法的实现．
英文摘要：
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-eomplete problem, and it widely obstructs the application of WF-net. 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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：