Verifying workflows with cancellation regions and OR-joins: An approach based on reset nets and reachability analysis
Wynn, Moe T., van der Aalst, Wil M., ter Hofstede, Arthur H.M., & Edmond, David (2006) Verifying workflows with cancellation regions and OR-joins: An approach based on reset nets and reachability analysis. Lecture Notes in Computer Science, 4102, pp. 389-394.
This is the latest version of this eprint.
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but sometimes difficult to determine whether a process contains any errors. The concepts such as cancellation and OR-joins occur naturally in business scenarios but the presence of these features in process models poses new challenges for verification. We take on the challenge of finding new verification techniques for workflows with cancellation regions and OR-joins. The proposed approach relies on reset nets and reachability analysis. We present these techniques in the context of workflow language YAWL that provides direct support for these features. We have extended the graphical editor of YAWL with these diagnostic features.
Impact and interest:
Citation counts are sourced monthly from and citation databases.
These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Journal Article|
|Additional Information:||Business Process Management: 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings|
|Keywords:||Workflow verification, Cancellation, OR, joins, Reset nets, YAWL|
|Subjects:||Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Information Systems not elsewhere classified (080699)|
|Divisions:||Past > QUT Faculties & Divisions > Faculty of Science and Technology
Past > Schools > Information Systems
|Copyright Owner:||Copyright 2006 Springer|
|Deposited On:||27 Nov 2007 00:00|
|Last Modified:||07 Nov 2013 01:53|
Available Versions of this Item
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. (deposited 08 Oct 2007 00:00)
- Verifying workflows with cancellation regions and OR-joins: An approach based on reset nets and reachability analysis. (deposited 27 Nov 2007 00:00) [Currently Displayed]
Repository Staff Only: item control page