Reduction rules for YAWL workflows with cancellation regions and OR-joins |
| |
| Authors: | M.T. Wynn H.M.W. Verbeek W.M.P. van der Aalst A.H.M. ter Hofstede D. Edmond |
| |
| Affiliation: | 1. Business Process Management Group, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia;2. Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands;1. Department of Radiology, Mayo Clinic, Rochester, Minnesota;2. Division of Nephrology and Hypertension, Department of Medicine, Mayo Clinic, 200 First St SW, Rochester, MN 55905;3. Department of Pathology, Mayo Clinic, Rochester, Minnesota;2. Department of Anesthesia, St. Michael’s Hospital, Toronto, Canada;;3. Department of Anesthesiology, University Medical Center Groningen, University of Groningen, Groningen, The Netherlands;4. Division of Cardiology, Department of Medicine, Beth Israel Deaconess Medical Center, Harvard Medical School, Boston, MA;1. Advanced Computing Research Centre, School of IT & Mathematical Sciences, University of South Australia, Australia;2. Johannes Kepler University Linz, Austria |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
