一种WF-net合理性验证方法  

A verification method of the soundness of the WF-net

作　　者：何萍[1] 李凡[1] 

机构地区：[1]成都信息工程学院,成都610225

出　　处：《四川大学学报（自然科学版）》2007年第6期1259-1262,共4页Journal of Sichuan University(Natural Science Edition)

摘　　要：工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.The soundness of the workflow process definition is very important to workflow management system （WfMS）. The worklow process definition must be verified before running it. WF-net is a restricted Petri-net which is a powerful and efficient tool to model workflow process definition. Using WF-net this paper reviews the general theories and analysis methods of the soundness of the WF-net, and it also gives a verification method of the soundness of the WF-net.

关 键 词：工作流 WF-NET 验证 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]