{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:14Z","timestamp":1740098954340,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319681849"},{"type":"electronic","value":"9783319681856"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68185-6_4","type":"book-chapter","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T08:44:12Z","timestamp":1506501852000},"page":"53-67","source":"Crossref","is-referenced-by-count":2,"title":["Supporting Multi-layer Modeling in BPMN Collaborations"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Polini","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,9,28]]},"reference":[{"unstructured":"OMG: Business Process Model and Notation (BPMN V 2.0) (2011)","key":"4_CR1"},{"issue":"2","key":"4_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.: Seven process modeling guidelines (7 pmg). Inf. Softw. Technol. 52(2), 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"4_CR3","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":"PYH Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355\u2013374. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88194-0_22"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75183-0_4","volume-title":"Business Process Management","author":"J Mendling","year":"2007","unstructured":"Mendling, J., Reijers, H.A., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 48\u201363. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75183-0_4"},{"issue":"5","key":"4_CR5","doi-asserted-by":"crossref","first-page":"1188","DOI":"10.1016\/j.jss.2012.01.017","volume":"85","author":"J Mendling","year":"2012","unstructured":"Mendling, J., Sanchez-Gonzalez, L., Garcia, F., La Rosa, M.: Thresholds for error probability measures of business process models. J. Syst. Softw. 85(5), 1188\u20131197 (2012)","journal-title":"J. Syst. Softw."},{"unstructured":"Silingas, D., Mileviciene, E.: Refactoring BPMN models: from \u2018Bad Smells\u2019 to best practices and patterns. In: BPMN 2.0 Handbook Second Edition: Methods, Concepts, Case Studies and Standards in Business Process Management Notation, p. 125 (2011)","key":"4_CR6"},{"doi-asserted-by":"crossref","unstructured":"Leopold, H., Mendling, J., G\u00fcnther, O.: Learning from quality issues of BPMN models from industry. In: Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, Vienna, Austria, 3\u20134 October 2016, pp. 36\u201339 (2016)","key":"4_CR7","DOI":"10.1109\/MS.2015.81"},{"unstructured":"Allweyer, T.: BPMN 2.0 - Business Process Model and Notation: Einf\u00fchrung in den Standard f\u00fcr die Gesch\u00e4ftsprozessmodellierung. Books on Demand (2009)","key":"4_CR8"},{"unstructured":"Silver, B.: BPMN method and style: with BPMN implementer\u2019s guide, 2 edn. (2011)","key":"4_CR9"},{"unstructured":"White, S.A.: BPMN modeling and reference guide: understanding and using BPMN. Future Strategies Inc. (2008)","key":"4_CR10"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.infsof.2014.07.011","volume":"58","author":"IMM Oca de","year":"2015","unstructured":"de Oca, I.M.M., Snoeck, M., Reijers, H.A., Rodr\u00edguez-Morffi, A.: A systematic literature review of studies on business process modeling quality. Inf. Softw. Technol. 58, 187\u2013205 (2015)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Moreno-Montes de Oca, I., Snoeck, M.: Pragmatic guidelines for business process modeling. Technical Report 2592983, KU Leuven, Faculty of Economics and Business, November 2014","key":"4_CR12","DOI":"10.2139\/ssrn.2592983"},{"key":"4_CR13","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). doi: 10.1007\/978-3-642-19589-1_10"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-28934-2_9","volume-title":"Formal Aspects of Component Software","author":"F Corradini","year":"2016","unstructured":"Corradini, F., Polini, A., Re, B., Tiezzi, F.: An operational semantics of BPMN collaboration. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 161\u2013180. Springer, Cham (2016). doi: 10.1007\/978-3-319-28934-2_9"},{"doi-asserted-by":"crossref","unstructured":"Falcioni, D., Polini, A., Polzonetti, A., Re, B.: Direct verification of BPMN processes through an optimized unfolding technique, pp. 179\u2013188. IEEE, August 2012","key":"4_CR15","DOI":"10.1109\/QSIC.2012.59"},{"doi-asserted-by":"crossref","unstructured":"El-Saber, N., Boronat, A.: BPMN formalization and verification using Maude. In: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications. BM-FA 2014, pp. 1:1\u20131:12. ACM, New York (2014)","key":"4_CR16","DOI":"10.1145\/2630768.2630769"},{"key":"4_CR17","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":"E B\u00f6rger","year":"2008","unstructured":"B\u00f6rger, E., Thalheim, B.: 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). doi: 10.1007\/978-3-540-89762-0_3"},{"issue":"2","key":"4_CR18","doi-asserted-by":"crossref","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":"4_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-319-09931-6_4","volume-title":"A Rigorous Semantics for BPMN 2.0 Process Diagrams","author":"F Kossak","year":"2014","unstructured":"Kossak, F., et al.: A rigorous semantics for BPMN 2.0 process diagrams. A Rigorous Semantics for BPMN 2.0 Process Diagrams, pp. 29\u2013154. Springer, Cham (2014). doi: 10.1007\/978-3-319-09931-6_4"},{"issue":"12","key":"4_CR20","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."},{"doi-asserted-by":"crossref","unstructured":"Corradini, F., Polini, A., Re, B.: Inter-organizational business process verification in public administration. Bus. Process Manage. J. 21(5), 1040\u20131065 (2015)","key":"4_CR21","DOI":"10.1108\/BPMJ-02-2014-0013"},{"issue":"C","key":"4_CR22","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1016\/j.is.2015.07.004","volume":"56","author":"R Conforti","year":"2016","unstructured":"Conforti, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., La Rosa, M.: BPMN miner. Inform. Syst. 56(C), 284\u2013303 (2016)","journal-title":"Inform. Syst."},{"doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 221\u2013230. IEEE (2007)","key":"4_CR23","DOI":"10.1109\/RE.2007.18"},{"doi-asserted-by":"crossref","unstructured":"Flavio, C., Alberto, P., Barbara, R., Damiano, F.: An eclipse plug-in for formal verification of BPMN processes. In: 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, pp. 144\u2013149, June 2010","key":"4_CR24","DOI":"10.1109\/CTRQ.2010.32"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise and Organizational Modeling and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68185-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T20:56:56Z","timestamp":1570136216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68185-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681849","9783319681856"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68185-6_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2017]]}}}