Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets

M.T. Wynn, D. Edmond, W.M.P. Aalst, van der, A.H.M. Hofstede, ter

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

57 Citaten (Scopus)

Samenvatting

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-joins 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.
Originele taal-2Engels
TitelApplications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20 - 25, 2005 ; proceedings
RedacteurenG. Ciardo, P. Darondeau
Plaats van productieBerlin
UitgeverijSpringer
Pagina's423-443
ISBN van geprinte versie978-3-540-26301-2
DOI's
StatusGepubliceerd - 2005
Evenement26th International Concerence on Application and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2005 - Miami, Verenigde Staten van Amerika
Duur: 20 jun. 200525 jun. 2005
Congresnummer: 26

Publicatie series

NaamLecture Notes in Computer Science
Volume3536
ISSN van geprinte versie0302-9743

Congres

Congres26th International Concerence on Application and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2005
Verkorte titelICATPN 2005
Land/RegioVerenigde Staten van Amerika
StadMiami
Periode20/06/0525/06/05
Ander26th International conference on Applications and Theory of Petri Nets (ICATPN 2005)

Vingerafdruk

Duik in de onderzoeksthema's van 'Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit