Verification of business process workflows

    Henrikas Pranevičius Affiliation
    ; Regina Misevičienė Affiliation


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.

Keyword : business processes, workflows, validation, verification, graph, adjacency matrix

How to Cite
Pranevičius, H., & Misevičienė, R. (2012). Verification of business process workflows. Technological and Economic Development of Economy, 18(4), 623-635.
Published in Issue
Dec 20, 2012
Abstract Views
PDF Downloads
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.