Achieving a General, Formal, and Decidable Approach to the OR-Join in Workflow Using Reset Nets
(2005) Achieving a General, Formal, and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In Ciardo, G. and Darondeau, P., Eds. Proceedings 26th International Conference on Applications and Theory of Petri Nets 2005 (ICATPN 2005) 3536, pages pp. 423-443, Miami, USA.
This is the latest version of this eprint.
Full text available as: |
Abstract
Workflow languages offer constructs for coordinating tasks. Among these constructs are various types of splits and joins. One type of join, which shows up in various incarnations, is the OR-join. Different approaches assign a different (often only intuitive) semantics to this type of join, though they do share the common theme that synchronisation is only to be performed for active threads. Depending on context assumptions this behaviour may be relatively easy to deal with, though in general its semantics is complicated, both from a definition point of view (in terms of formally capturing a desired intuitive semantics) and from a computational point of view (how does one determine whether an OR-join is enabled?). In this paper the concept of OR-join is examined in detail in the context of the workflow language YAWL, a powerful workflow language designed to support a collection of workflow patterns and inspired by Petri nets. The OR-join’s definition is adapted from an earlier proposal and an algorithmic approach towards determining OR-join enablement is examined. This approach exploits a link that is proposed between YAWL and Reset nets, a variant of Petri nets with a special type of arc that can remove all tokens from a place.
| Item Type: | Conference Paper |
|---|---|
| RM Number: | 2006000848 |
| Status: | Published |
| Keywords: | OR-join, YAWL,Workflow patterns, synchronizing merge, Petri nets, Reset nets |
| Subjects: | 280000 Information, Computing and Communication Sciences > 280100 Information Systems > 280199 Information Systems not elsewhere classified |
| ID Code: | 7930 |
| Deposited By: | Wynn, Moe |
| Deposited On: | 30 May 2007 |
| Alternative Locations: | http://dx.doi.org/10.1007/11494744_24 |
| Copyright Owner: | Copyright 2005 Springer |
| Copyright Statement: | This is the author-version of the work. Conference proceedings published, by Springer Verlag, will be available via SpringerLink. http://www.springer.de/comp/lncs/ Lecture Notes in Computer Science |
| Additional Information: | For more information, please refer to the publisher's website (see link) or contact the author. Author contact details: m.wynn@qut.edu.au |
Available Versions of this Item
- Achieving a General, Formal, and Decidable Approach to the OR-Join in Workflow Using Reset Nets (deposited 30 May 2007) [Currently Displayed]