{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T22:56:17Z","timestamp":1781564177704,"version":"3.54.5"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319929002","type":"print"},{"value":"9783319929019","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92901-9_11","type":"book-chapter","created":{"date-parts":[[2018,6,6]],"date-time":"2018-06-06T06:27:41Z","timestamp":1528266461000},"page":"114-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Checking Business Process Correctness in Apromore"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Fornari","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcello","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,7]]},"reference":[{"key":"11_CR1","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: 15th IEEE Conference on Business Informatics, pp. 363\u2013366 (2013)","DOI":"10.1109\/CBI.2013.59"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude-A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Durn, F., Eker, S., Lincoln, P., Mart-Oliet, N., Meseguer, J., Talcott, C.: All About Maude-A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S1571-0661(04)00034-9","volume":"4","author":"M Clavel","year":"1996","unstructured":"Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: Principles of maude. Electron. Notes Theor. Comput. Sci. 4, 65\u201389 (1996)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2017.11.003","volume":"113","author":"F Corradini","year":"2018","unstructured":"Corradini, F., Ferrari, A., Fornari, F., Gnesi, S., Polini, A., Re, B., Spagnolo, G.O.: A guidelines framework for understandable BPMN models. Data Knowl. Eng. 113, 129\u2013154 (2018)","journal-title":"Data Knowl. Eng."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: BProVe: a formal verification framework for business process models. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 217\u2013228. IEEE Press (2017)","DOI":"10.1109\/ASE.2017.8115635"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: BProVe: tool support for business process verification. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 937\u2013942. IEEE Press (2017)","DOI":"10.1109\/ASE.2017.8115708"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-319-73117-9_23","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"F Corradini","year":"2018","unstructured":"Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Global vs. local semantics of BPMN 2.0 OR-join. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 321\u2013336. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73117-9_23"},{"key":"11_CR8","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). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_9"},{"key":"11_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-642-33143-5","edition":"2"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/S1571-0661(05)82534-4","volume":"71","author":"S Eker","year":"2004","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker. Electron. Notes Theor. Comput. Sci. 71, 162\u2013187 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"6","key":"11_CR11","doi-asserted-by":"publisher","first-page":"7029","DOI":"10.1016\/j.eswa.2010.12.012","volume":"38","author":"M La Rosa","year":"2011","unstructured":"La Rosa, M., Reijers, H.A., Van Der Aalst, W.M.P., Dijkman, R.M., Mendling, J., Dumas, M., GarcA-Bauelos, L.: APROMORE: an advanced process model repository. Expert Syst. Appl. 38(6), 7029\u20137040 (2011)","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S Morimoto","year":"2008","unstructured":"Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008. LNCS, vol. 5102, pp. 514\u2013522. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69387-1_58"},{"key":"11_CR14","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":"M zur Muehlen","year":"2008","unstructured":"zur Muehlen, M., Recker, J.: 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). https:\/\/doi.org\/10.1007\/978-3-540-69534-9_35"},{"key":"11_CR15","unstructured":"OMG: Business Process Model and Notation (BPMN V 2.0) (2011)"},{"issue":"61","key":"11_CR16","first-page":"17","volume":"60","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60(61), 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"23","key":"11_CR17","first-page":"18","volume":"96","author":"WMP van der Aalst","year":"1996","unstructured":"van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Comput. Sci. Rep. 96(23), 18\u201322 (1996)","journal-title":"Comput. Sci. Rep."},{"key":"11_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2012","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28616-2"},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business process verification-finally a reality!. Bus. Process Manag. J. 15(1), 74\u201392 (2009)","journal-title":"Bus. Process Manag. J."}],"container-title":["Lecture Notes in Business Information Processing","Information Systems in the Big Data Era"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92901-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T15:26:30Z","timestamp":1710257190000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92901-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929002","9783319929019"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92901-9_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise2018.ut.ee","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}