基于图裁减和图搜索的工作流图验证算法.pdfVIP

226 2011 ，47 （4 ） Computer Engineering and Applications 计算机工程与应用 基于图裁减和图搜索的工作流图验证算法 党正军，杜中军 DANG Zhengjun ，DU Zhongjun 四川大学 计算机学院，成都 610065 College of Computer Science and Technology ，Sichuan University ，Chengdu 610065 ，China DANG Zhengjun ，DU Zhongjun.Improved algorithm combining graph-reduction and graph-search for workflow verifica- tion.Computer Engineering and Applications ，2011 ，47 （4 ）：226-228. Abstract ：Since the structural conflicts in workflow processes can lead to malfunction of workflow management systems ，the problem should be detected before workflow processes are put into execution.Up to now ，workflow verification without cy- cles is well solved in Mahanti-Sinnakkrishnan algorithm.L.Kai and L.Qing proposed an algorithm called CWRS to verify workflow graphs which may have cycles ，but it has some deficencies which can lead to misjudgment.This paper mainly ana- lyzes the CWRS algorithm ，and points the deficencies ，then proposes an improved method to completely solve the structural conflicts even if unpaired AND nodes exist in the loop. Key words ：workflow ；directed graph ；workflow verification 摘 要：工作流程中的结构冲突将导致工作流管理系统无法正常运行，因此需要在工作流图付诸实施之前要验证工作流的正确 性，检测出其中的冲突。目前，无环工作流图的冲突检测在Mahanti-Sinnakkrishnan 算法中已经得到了较好的解决，L.Kai 和L. Qiang 提出了CWRS 算法用来检测有环工作流图的结构冲突，但该算法存在缺陷，会产生误判。对CWRS 算法进行分析，指出了 该算法的缺陷，并提出了改进方法，解决了有环工作流图AND 型节点不配对时的冲突检测问题。 关键词：工作流；有向图；工作流验证 DOI ：10.3778/j.issn. 1002-8331.2011.04.063 文章编号：1002-8331（2011 ）04-0226-03 文献标识码：A 中图分类号：TP301.6 1 问题引入 零的分量，或者结束节点对应的列向量存在值为零的分量，则 工作流技术从1990年以来已经成为计算机应用的一个热 该图必至少存在这三种冲突中的一种。而解决死锁和缺乏同 点，现在，工作流管理系统已经被广泛应用来提高业务处理的 步的错误，要复杂和困难得多，因此假定在流程图中不存在前 效率，工作流程的模型化一直是工作流管理系统的一个关键 面三项错误的前提下，研究解决死锁和缺乏同步问题。 问题，但是它相当复杂和容易出错，当一个流程已经被应用后 针对死锁和缺乏同步这两种结构冲突，最初Wasim Sadiq 再改正其中遇到错误的代价相当高，因此在创建流程时需要