| Title |
Verification of business process workflows / |
| Authors |
Pranevičius, Henrikas ; Misevičienė, Regina |
| DOI |
10.3846/20294913.2012.740517 |
| Full Text |
|
| Is Part of |
Technological and economic development of economy.. Vilnius; London : Technika; Taylor&Francis. 2012, vol. 18, no. 4, p. 623-635.. ISSN 2029-4913. eISSN 2029-4921 |
| Keywords [eng] |
Workflows ; Validation ; Verification ; Graph ; Adjacency matrix ; Business processes |
| Abstract [eng] |
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. |
| Published |
Vilnius; London : Technika; Taylor&Francis |
| Type |
Journal article |
| Language |
English |
| Publication date |
2012 |
| CC license |
|
