{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:23:32Z","timestamp":1775831012809,"version":"3.50.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319289335","type":"print"},{"value":"9783319289342","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28934-2_9","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T10:32:56Z","timestamp":1453977176000},"page":"161-180","source":"Crossref","is-referenced-by-count":14,"title":["An Operational Semantics of BPMN Collaboration"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"issue":"15","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1016\/S0950-5849(03)00129-0","volume":"45","author":"A Lindsay","year":"2003","unstructured":"Lindsay, A., Downs, D., Lunn, K.: Business processes - attempts to find a definition. Inf. Softw. Technol. 45(15), 1015\u20131019 (2003)","journal-title":"Inf. Softw. Technol."},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Heidelberg (2012)"},{"key":"9_CR3","unstructured":"OMG: Business Process Model and Notation (BPMN v2.0), Normative document, Jan 2011"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Breu, R., Dustdar, S., Eder, J., Huemer, C., Kappel, G., K\u00f6pke, J., Langer, P., Mangler, J., Mendling, J., Neumann, G., Rinderle-Ma, S., Schulte, S., Sobernig, S., Weber, B.: Towards living inter-organizational processes. In: CBI, pp. 363\u2013366. IEEE (2013)","DOI":"10.1109\/CBI.2013.59"},{"key":"9_CR5","first-page":"17","volume":"60\u201361","author":"G Plotkin","year":"2004","unstructured":"Plotkin, G.: A structural approach to operational semantics. J. Log. Algebr. Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"12","key":"9_CR6","doi-asserted-by":"publisher","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":"9_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management","author":"M Weske","year":"2012","unstructured":"Weske, M.: Business Process Management. Springer, Heidelberg (2012)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-69534-9_35","volume-title":"Advanced Information Systems Engineering","author":"Jan Recker","year":"2008","unstructured":"Recker, Jan, Muehlen, M.Z.: How much language is enough? theoretical and practical use of the business process modeling notation. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 465\u2013479. Springer, Heidelberg (2008)"},{"key":"9_CR9","first-page":"146","volume-title":"Lecture Notes in Computer Science","author":"David Raymond Christiansen","year":"2011","unstructured":"Christiansen, D.R., Carbone, M., Hildebrandt, T.T.: Formal semantics and implementation of BPMN 2.0 inclusive gateways. In: WSFM, pp. 146\u2013160 (2011)"},{"key":"9_CR10","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":"G Wilmsmann","year":"2011","unstructured":"Wilmsmann, G., V\u00f6lzer, H., Gfeller, B.: 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)"},{"key":"9_CR11","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.T.: Semantics of standard process models with OR-joins. In: Tari, Z., Meersman, R. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 41\u201358. Springer, Heidelberg (2007)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/11417170_28","volume-title":"Typed Lambda Calculi and Applications","author":"F-R Sinot","year":"2005","unstructured":"Sinot, F.-R.: Call-by-name and call-by-value as token-passing interaction nets. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol. 3461, pp. 386\u2013400. Springer, Heidelberg (2005)"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2006.10.023","volume":"174","author":"F Kirchner","year":"2007","unstructured":"Kirchner, F., Sinot, F.: Rule-based operational semantics for an imperative language. Electr. Notes Theor. Comput. Sci. 174(1), 35\u201347 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.infsof.2012.08.014","volume":"55","author":"P Gorp Van","year":"2013","unstructured":"Van Gorp, P., Dijkman, R.: A visual token-based formalization of BPMN 2.0 based on in-place transformations. Inf. Softw. Technol. 55(2), 365\u2013394 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"El-Saber, N., Boronat, A.: BPMN formalization and verification using maude. In: BM-FA, pp. 1\u201312. ACM Press (2014)","DOI":"10.1145\/2630768.2630769"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-89762-0_3","volume-title":"Advances in Software Engineering","author":"B Thalheim","year":"2008","unstructured":"Thalheim, B., B\u00f6rger, E.: A method for verifiable and validatable business process modeling. In: B\u00f6rger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 59\u2013115. Springer, Heidelberg (2008)"},{"key":"9_CR17","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-78942-0_56","volume-title":"Information Systems and e-Business Technologies","author":"R Laue","year":"2008","unstructured":"Laue, R., Mendling, J.: The impact of structuredness on error probability of process models. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) Information Systems and e-Business Technologies. Lecture Notes in Business Information Processing, vol. 5, pp. 585\u2013590. Springer, Heidelberg (2008)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, p. 431. Springer, Heidelberg (2000)"},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A., Garcuelos, L., Dumas, M.: Structuring acyclic process models. Inf. Syst. 37(6), 518\u2013538 (2012)","journal-title":"Inf. Syst."},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1093\/comjnl\/bxs126","volume":"57","author":"A Polyvyanyy","year":"2014","unstructured":"Polyvyanyy, A., Garcia-Banuelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. Comput. J. 57(1), 12\u201335 (2014)","journal-title":"Comput. J."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Huai, W., Liu, X., Sun, H.: Towards trustworthy composite service through business process model verification. In: UIC\/ATC, pp. 422\u2013427. IEEE (2010)","DOI":"10.1109\/UIC-ATC.2010.114"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Koniewski, R., Dzielinski, A., Amborski, K.: Use of petri nets and business processes management notation in modelling and simulation of multimodal logistics chains. In: ECMS, pp. 99\u2013102 (2006)","DOI":"10.7148\/2006-0099"},{"key":"9_CR23","unstructured":"Ramadan, M., Elmongui, H.G., Hassan, R.: BPMN formalisation using coloured petri nets. In: SEA (2011)"},{"key":"9_CR24","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-12186-9_2","volume-title":"Business Process Management Workshops","author":"A Awad","year":"2010","unstructured":"Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) Business Process Management Workshops. LNBIP, vol. 43, pp. 5\u201316. Springer, Heidelberg (2010)"},{"issue":"5","key":"9_CR25","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1108\/BPMJ-02-2014-0013","volume":"21","author":"F Corradini","year":"2015","unstructured":"Corradini, F., Polini, A., Re, B.: Inter-organizational business process verification in public administration. Bus. Process Manag. J. 21(5), 1040\u20131065 (2015)","journal-title":"Bus. Process Manag. J."},{"issue":"4","key":"9_CR26","doi-asserted-by":"publisher","first-page":"396","DOI":"10.4304\/jsw.5.4.396-404","volume":"5","author":"J Ye","year":"2010","unstructured":"Ye, J., Song, W.: Transformation of BPMN diagrams to YAWL nets. J. Softw. 5(4), 396\u2013404 (2010)","journal-title":"J. Softw."},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-540-85758-7_20","volume-title":"Business Process Management","author":"R Dijkman","year":"2008","unstructured":"Dijkman, R., Decker, G., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Transforming BPMN diagrams into YAWL nets. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 386\u2013389. Springer, Heidelberg (2008)"},{"issue":"8","key":"9_CR28","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/j.scico.2009.09.010","volume":"76","author":"PY Wong","year":"2011","unstructured":"Wong, P.Y., Gibbons, J.: Formalisations and applications of BPMN. Sci. Comput. Program. 76(8), 633\u2013650 (2011)","journal-title":"Sci. Comput. Program."},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"J Gibbons","year":"2008","unstructured":"Gibbons, J., Wong, P.Y.H.: A process semantics for BPMN. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355\u2013374. Springer, Heidelberg (2008)"},{"key":"9_CR30","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-88479-8_9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"F Arbab","year":"2008","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards using reo for compliance-aware business process modeling. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol. 17, pp. 108\u2013123. Springer, Heidelberg (2008)"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-68265-3_16","volume-title":"Coordination Models and Languages","author":"P Quaglia","year":"2008","unstructured":"Quaglia, P., Zannone, N., Prandi, D.: Formal analysis of BPMN via a translation into COWS. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 249\u2013263. Springer, Heidelberg (2008)"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11841760_11","volume-title":"Business Process Management","author":"M Weske","year":"2006","unstructured":"Weske, M., Puhlmann, F.: Investigations on soundness regarding lazy activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 145\u2013160. Springer, Heidelberg (2006)"},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-76848-7_3","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"F Puhlmann","year":"2007","unstructured":"Puhlmann, F.: Soundness verification of business processes specified in the Pi-calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 6\u201323. Springer, Heidelberg (2007)"},{"issue":"4","key":"9_CR34","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1080\/10580530.2010.514164","volume":"27","author":"F Corradini","year":"2010","unstructured":"Corradini, F., Polini, A., Polzonetti, A., Re, B.: Business processes verification for e-government service delivery. Inf. Syst. Manag. 27(4), 293\u2013308 (2010)","journal-title":"Inf. Syst. Manag."},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-34005-5_3","volume-title":"Rewriting Logic and Its Applications","author":"D Lucanu","year":"2012","unstructured":"Lucanu, D., \u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: \n                    \n                      \n                    \n                    $$\\mathbb{K}$$\n                   framework distilled. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol. 7571, pp. 31\u201353. Springer, Heidelberg (2012)"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Rosu, G., Stefanescu, A.: Matching logic: a new program verification approach. In: ICSE, pp. 868\u2013871. ACM (2011)","DOI":"10.1145\/1985793.1985928"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28934-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T07:51:55Z","timestamp":1559375515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28934-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319289335","9783319289342"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28934-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}