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

Full description

Saved in:
Bibliographic Details
Published in:Technological and economic development of economy 2012-12, Vol.18 (4), p.623-635
Main Authors: Pranevicius, Henrikas, Miseviciene, Regina
Format: Article
Language:English
Subjects:
adjacency matrix
Business
Business models
business processes
Economic development
Economics
graph
Spreadsheets
Studies
validation
verification
Workflow
Workflow software
workflows
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2029-4913
2029-4921
DOI:10.3846/20294913.2012.740517