一种WF—net合理性验证方法.pdfVIP

2007年12月 四川大学学报(自然科学版) Dec．2007 第44卷第6期 Joumal of Sichuan University(Natural Science Edition) Vlo1．44 No．6 文章编号：0490—6756(2007)06—1259—04 一 种WF—net合理性验证方法 何 萍，李 凡 (成都信息工程学院，成都610225) 摘 要：工作流过程定义的合理性对于工作流管理系统具有重用意义，在设计的工作流过程 投入实际运行前必须证明其合理性．WF_net是一种对工作流的控制流维度建模的Petri网，具 有牢固的理论基础，是对工作流过程定义进行描述的有效工具．基于wF—net工作流建模理 论，在工作流过程定义的合理性及与wF_net的合理性相关的基本原理和分析方法的基础上， 提出了一种验证WF_net合理性的方法． 关键词：工作流；WF_net：验证 中图分类号：TP301．6 文献标识码：A A verifieation method of the soundness of the WF．net HEPing。L，Fan (Chengdu University of Information Technology，Sichuan Chengdu 610225，China) Abstract：The soundness of the workflow process definition is very important to workflow management sys— tem(WfMS)．The workflow 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 verifica— tion method of the soundness of the net． Key words：workflow，WF_net，verification 是简单地在过程中添加了一个任务也可能导致“死 1 引 言 锁”或“活锁”(死锁是指在工作流过程实例在执行 工作流管理系统(W S)关注业务流程的自 过程中到达某种状态，使流程无法执行下去，导致 动支持和相互协作，减少运行成本，提高工作效率， 实例被挂起．活锁是指工作流过程实例在执行过程 提高服务的质量和产量．高效反映业务流程中的变 中在某些状态间呈无限循环，无法正确结束流 化是工作流管理系统必须具备的能力．变化涉及对 程．)．更严重的是，错误的工作流过程可能导致人 现有工作流过程定义的修改或新的工作流过程定 力物力的浪费，使顾客的需要无法满足，打击员工 义(workflow process definition)的创建．目前国内 积极性，给企业造成巨大的甚至是无法挽回的损 的工作流管理系统普遍不能胜任工作流过程定义 失．因此，在工作流过程定义的设计阶段，应对其合 的频繁变化，因为它们大多缺乏对于工作流过程定 理I生进行分析，并反馈分析结果，帮助设计者发现 义合理性的检查．然而创建或修改一个包含了并行 并改正其过程定义中可能存在的漏洞．