{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T23:28:44Z","timestamp":1673306924942},"reference-count":10,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p> 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 branches that cannot complete will not be waited for. Many systems and languages struggle with the semantics and implementation of the OR-join because its non-local semantics require a synchronization depending on the analysis of future execution paths. The presence of cancelation features, potentially unbounded behavior, and other OR-joins in a workflow further complicates the formal semantics of the OR-join. <\/jats:p><jats:p> In this paper, the concept of the 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 paper provides a suitable (non-local) semantics for an OR-join and gives a concrete algorithm with two optimization techniques to support the implementation. 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 when its transition fires. Through the behavior of reset arcs, the behavior of cancelation regions can be captured in a natural manner. <\/jats:p>","DOI":"10.1142\/s0218843009002002","type":"journal-article","created":{"date-parts":[[2009,3,12]],"date-time":"2009-03-12T10:54:47Z","timestamp":1236855287000},"page":"63-114","source":"Crossref","is-referenced-by-count":5,"title":["SYNCHRONIZATION AND CANCELATION IN WORKFLOWS BASED ON RESET NETS"],"prefix":"10.1142","volume":"18","author":[{"given":"M. T.","family":"WYNN","sequence":"first","affiliation":[{"name":"Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia"},{"name":"Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, NL-5600 MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M. P.","family":"VAN DER AALST","sequence":"additional","affiliation":[{"name":"Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia"},{"name":"Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, NL-5600 MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. H. M.","family":"TER HOFSTEDE","sequence":"additional","affiliation":[{"name":"Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia"},{"name":"Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, NL-5600 MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"EDMOND","sequence":"additional","affiliation":[{"name":"Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia"},{"name":"Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, NL-5600 MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"rf6","doi-asserted-by":"crossref","unstructured":"P.\u00a0Darondeau, Lectures on Concurrency and Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science\u00a03098, eds. J.\u00a0Desel, W.\u00a0Reisig and G.\u00a0Rozenberg (Springer-Verlag, Eichst\u00e4tt, Germany, 2003)\u00a0pp. 413\u2013428.","DOI":"10.1007\/978-3-540-27755-2_11"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48523-6_27"},{"key":"rf10","volume-title":"RouteBuilder Tool User's Guide","year":"1998"},{"key":"rf11","first-page":"1","volume":"68","author":"Finkel A.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00102-X"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.02.005"},{"key":"rf18","volume-title":"Production Workflow: Concepts and Techniques","author":"Leymann F.","year":"1999"},{"key":"rf21","unstructured":"M.\u00a0N\u00fcttgens and F.\u00a0Rump, Prozessorientierte Methoden und Werkzeuge fr die Entwicklung von Informationssystemen, LNI\u00a0P-21, eds. J.\u00a0Desel and M.\u00a0Weske (Springer-Verlag, Potsdam, Bonn, 2002)\u00a0pp. 64\u201377."}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843009002002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T14:07:46Z","timestamp":1565186866000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843009002002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":10,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[2009,3]]}},"alternative-id":["10.1142\/S0218843009002002"],"URL":"https:\/\/doi.org\/10.1142\/s0218843009002002","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"value":"0218-8430","type":"print"},{"value":"1793-6365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}