VERIFICATION OF BUSINESS PROCESS WORKFLOWS
提出一种基于邻接矩阵和电子表格工具验证业务流程工作流的方法，分析可达性、死锁和临时阻塞问题，并通过实例说明验证的重要性。
Modeling of Business processes is essential in many areas. Workflows represent the Business processes. It is possible to identify potential problems while performing verification of workflows. One of the objectives of the verification is to assure reachability. This includes analysis of the deadlock and tempo blocking freeness properties. The paper presents verification approach based on using an adjacency matrix. Spreadsheets are used as a verification tool. The approach is illustrated by the examples which justify the importance of verification in workflow processes.