新的基于图搜索的工作流图验证算法  

New workflow verification algorithm based on graph-search

作　　者：党正军[1] 杜中军[1] 

机构地区：[1]四川大学计算机学院,成都610065

出　　处：《计算机应用》2010年第3期615-616,619,共3页journal of Computer Applications

摘　　要：工作流程中的结构冲突会导致工作流管理系统无法正常运行,因此需要在工作流程付诸实施之前验证工作流的正确性,检测出其中的冲突。目前,尚无一个完美的算法既能检测出无环工作流图的冲突,也能检测出带环工作流图中的结构冲突,为此提出了一种新的基于图搜索的工作流图验证算法,利用巧妙方法将流程图中的环转化为无环流程子图,高效地检测出了有环工作流图和无环工作流图的结构冲突。Since the structural conflicts in workflow processes can lead to malfunctioning of workflow management systems,so the conflicts should be detected before workflow processes are put into execution.Up to now,there is no perfect algorithm which can be able to detect the structural conflicts in the workflow both with loop and without loop.The authors proposed a new algorithm based on graph-search by making use of a skillful method,which transformed the loop in the workflow to an acyclic sub graph.It was able to efficiently detect the structural conflicts in the workflow even with loop.

关 键 词：工作流 有向图 工作流验证 图搜索 死锁 异步 

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