{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:04:14Z","timestamp":1756310654855,"version":"3.41.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319731162"},{"type":"electronic","value":"9783319731179"}],"license":[{"start":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T00:00:00Z","timestamp":1513900800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73117-9_23","type":"book-chapter","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T16:45:34Z","timestamp":1513874734000},"page":"321-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Global vs. Local Semantics of BPMN 2.0 OR-Join"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Chiara","family":"Muzi","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[]},{"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,22]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-319-51963-0_31","volume-title":"SOFSEM 2017: Theory and Practice of Computer Science","author":"O Pastor","year":"2017","unstructured":"Pastor, O.: Model-driven development in practice: from requirements to code. In: Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. (eds.) SOFSEM 2017. LNCS, vol. 10139, pp. 405\u2013410. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51963-0_31"},{"key":"23_CR2","unstructured":"OMG: Business Process Model and Notation (BPMN V 2.0) (2011)"},{"key":"23_CR3","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-47208-9_5","volume-title":"Advances in Business ICT: New Ideas from Ongoing Research","author":"A Suchenia","year":"2017","unstructured":"Suchenia, A., Potempa, T., Lig\u0119za, A., Jobczyk, K., Kluza, K.: Selected approaches towards taxonomy of business process anomalies. In: Pe\u0142ech-Pilichowski, T., Mach-Kr\u00f3l, M., Olszak, C.M. (eds.) Advances in Business ICT: New Ideas from Ongoing Research. SCI, vol. 658, pp. 65\u201385. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-47208-9_5"},{"key":"23_CR4","unstructured":"van der Aalst, W.M., Desel, J., Kindler, E.: On the semantics of EPCs: a vicious circle. In: EPK, pp. 71\u201379 (2002)"},{"key":"23_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33143-5"},{"key":"23_CR6","unstructured":"Kunze, M., Berger, P., Weske, M.: BPM academic initiative - fostering empirical research. In: BPM Demonstration Track, CEUR Workshop Proceedings, vol. 940, pp. 1\u20135 (2012)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-15618-2_21","volume-title":"Business Process Management","author":"H V\u00f6lzer","year":"2010","unstructured":"V\u00f6lzer, H.: A new semantics for the inclusive converging gateway in safe processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 294\u2013309. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15618-2_21"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-76848-7_5","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M Dumas","year":"2007","unstructured":"Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of standard process models with OR-Joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007. LNCS, vol. 4803, pp. 41\u201358. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76848-7_5"},{"issue":"1","key":"23_CR9","first-page":"3","volume":"15","author":"B Thalheim","year":"2009","unstructured":"Thalheim, B., Sorensen, O., Borger, E.: On defining the behavior of OR-Joins in business process models. J. Univ. Comput. Sci. 15(1), 3\u201332 (2009)","journal-title":"J. Univ. Comput. Sci."},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-19589-1_10","volume-title":"Web Services and Formal Methods","author":"DR Christiansen","year":"2011","unstructured":"Christiansen, D.R., Carbone, M., Hildebrandt, T.: Formal semantics and implementation of BPMN 2.0 inclusive gateways. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 146\u2013160. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19589-1_10"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"32","DOI":"10.7250\/csimq.2015-4.03","volume":"4","author":"TM Prinz","year":"2015","unstructured":"Prinz, T.M., Amme, W.: A complete and the most liberal semantics for converging OR gateways in sound processes. Complex Syst. Inf. Model. Q. 4, 32\u201349 (2015). http:\/\/dblp.org\/db\/journals\/csimq\/csimq4","journal-title":"Complex Syst. Inf. Model. Q."},{"key":"23_CR12","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-25160-3_3","volume-title":"Business Process Model and Notation","author":"B Gfeller","year":"2011","unstructured":"Gfeller, B., V\u00f6lzer, H., Wilmsmann, G.: Faster Or-Join enactment for BPMN 2.0. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) BPMN 2011. LNBIP, vol. 95, pp. 31\u201343. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25160-3_3"},{"issue":"1","key":"23_CR13","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., et al.: Business process verification-finally a reality!. Bus. Process Manag. J. 15(1), 74\u201392 (2009)","journal-title":"Bus. Process Manag. J."},{"key":"23_CR14","unstructured":"Alfresco Software Inc: Activiti v. 6.0. www.activiti.org (2017)"},{"key":"23_CR15","unstructured":"Camunda services GmbH: Camunda v. 7.7.0. www.camunda.com (2017)"},{"key":"23_CR16","unstructured":"Flowable: Flowable v. 6.1.0. www.flowable.org (2017)"},{"key":"23_CR17","unstructured":"Red Hat: jBPM v. 7.0.0. www.jBPM.org (2017)"},{"key":"23_CR18","unstructured":"ProcessMaker Inc.: Process maker v. 3.2. www.processmaker.com (2017)"},{"key":"23_CR19","unstructured":"Signavio Inc: Signavio v. 11.2.0. www.signavio.com (2017)"},{"key":"23_CR20","unstructured":"Stadust: Stadust v. 4.1.0. www.eclipse.org\/stardust (2017)"},{"key":"23_CR21","unstructured":"Sydle: Sydle. www.sydle.com (2017)"},{"issue":"2","key":"23_CR22","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF01931370","volume":"16","author":"JL Szwarcfiter","year":"1976","unstructured":"Szwarcfiter, J.L., Lauer, P.E.: A search strategy for the elementary cycles of a directed graph. BIT Numer. Math. 16(2), 192\u2013204 (1976)","journal-title":"BIT Numer. Math."},{"issue":"1","key":"23_CR23","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF01386390","volume":"1","author":"EW Dijkstra","year":"1959","unstructured":"Dijkstra, E.W.: A note on two problems in connexion with graphs. Numer. Math. 1(1), 269\u2013271 (1959)","journal-title":"Numer. Math."},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"WMP Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45594-9_11"},{"issue":"12","key":"23_CR25","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"23_CR26","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-59336-4_8","volume-title":"Business Information Systems","author":"F Corradini","year":"2017","unstructured":"Corradini, F., Fornari, F., Muzi, C., Polini, A., Re, B., Tiezzi, F.: On avoiding erroneous synchronization in BPMN processes. In: Abramowicz, W. (ed.) BIS 2017. LNBIP, vol. 288, pp. 106\u2013119. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59336-4_8"},{"key":"23_CR27","unstructured":"Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Global vs. Local Semantics of BPMN 2.0 OR-Join. Technical report, Univ. Camerino (2017). http:\/\/pros.unicam.it\/documents.html"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2018: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73117-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T03:42:19Z","timestamp":1751168539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73117-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,22]]},"ISBN":["9783319731162","9783319731179"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73117-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,12,22]]}}}