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

Abstract: 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.

Key words: workflow, directed graph, workflow verification, graph-search, deadlock, asynchronous