QUT ePrints

Reduction rules for YAWL workflows with cancellation regions and OR-joins

Wynn, Moe, Verbeek, Eric, van der Aalst, Wil, ter Hofstede, Arthur, & Edmond, David (2009) Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information and Software Technology, 51(6), pp. 1010-1020.

View at publisher

Abstract

As the need for concepts such as cancellation and OR-joins occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. However, there is a clear trade-off between the expressive power of a language (i.e., introducing complex constructs such as cancellation and OR-joins) and ease of verification. When a workflow contains a large number of tasks and involves complex control flow dependencies, verification can take too much time or it may even be impossible. There are a number of different approaches to deal with this complexity. Reducing the size of the workflow, while preserving its essential properties with respect to a particular analysis problem, is one such approach. In this paper, we present a set of reduction rules for workflows with cancellation regions and OR-joins and demonstrate how they can be used to improve the efficiency of verification. Our results are presented in the context of the YAWL workflow language.

Impact and interest:

12 citations in Scopus
Search Google Scholar™
6 citations in Web of Science®

Citation countsare sourced monthly from Scopus and Web of Science® 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 the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 42693
Item Type: Journal Article
Keywords: Verification of Process Models, Soundness Property, Reduction Rules, Cancellation, Or-Join, Reset Nets
DOI: 10.1016/j.infsof.2008.12.002
ISSN: 0950-5849
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
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 > School of Information Systems
Deposited On: 13 Jul 2011 23:06
Last Modified: 03 Dec 2012 12:08

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page