Journal article

Application of if-conversion to verification and optimization of workflows

AA Kalenkova

PROGRAMMING AND COMPUTER SOFTWARE | PLEIADES PUBLISHING INC | Published : 2010

Abstract

Based on the workflow analysis graphs proposed in [1] and the well-known if-conversion method [2], a new algorithm of workflow verification is developed. This algorithm is based on the Boolean algebra principles, which is reflected in its name-Boolean Verification Algorithm (BVA). The BVA operates with arbitrary overlapping structures of the graph and with cycles. In the case of dense graphs, the time complexity of the algorithm does not exceed that of most other algorithms of workflow verification [3-6]. In the course of verification, the BVA determines an execution condition for each node of the graph, which makes it possible to create an additional algorithm of workflow optimization. Unli..

View full abstract