Abstract
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more prone to errors. In this paper, we describe a taxonomy that serves as a framework for analyzing unstructured workflows. The taxonomy organizes unstructured workflows in terms of two considerations: improper nesting and mismatched split-join pairs. Based on this taxonomy we characterize situations that are well-behaved and others that are not. We also discuss well-behaved unstructured workflows that have equivalent structured mappings. Finally, we also introduce a relaxed notion of correctness called quasi-equivalence that is based on one-directional bisimulation. The results of our research will be useful for researchers investigating expressiveness and correctness issues in unstructured workflows.
Original language | English (US) |
---|---|
Pages (from-to) | 268-284 |
Number of pages | 17 |
Journal | Lecture Notes in Computer Science |
Volume | 3649 |
DOIs | |
State | Published - Jan 1 2005 |
Event | 3rd Internaional Conference on Business Process Management,BPM 2005 - Nancy, France Duration: Sep 5 2005 → Sep 8 2005 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)