{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T06:23:04Z","timestamp":1768458184861,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T00:00:00Z","timestamp":1527206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2017-86727-C2-1-R"],"award-info":[{"award-number":["TIN2017-86727-C2-1-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2017-87610-R"],"award-info":[{"award-number":["TIN2017-87610-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Secreteria d\u2019Universitats i Recerca de la Generalitat de Catalunya","award":["2017-SGR-1749"],"award-info":[{"award-number":["2017-SGR-1749"]}]},{"DOI":"10.13039\/501100002850","name":"Fondo Nacional de Desarrollo Cient\u00edfico y Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["Iniciacion 11170092"],"award-info":[{"award-number":["Iniciacion 11170092"]}],"id":[{"id":"10.13039\/501100002850","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002848","name":"Comisi\u00f3n Nacional de Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","award":["REDI170136"],"award-info":[{"award-number":["REDI170136"]}],"id":[{"id":"10.13039\/501100002848","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10270-018-0681-6","type":"journal-article","created":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T04:49:01Z","timestamp":1527223741000},"page":"2531-2555","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Conformance checking in UML artifact-centric business process models"],"prefix":"10.1007","volume":"18","author":[{"given":"Montserrat","family":"Esta\u00f1ol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Munoz-Gama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,25]]},"reference":[{"key":"681_CR1","unstructured":"Adriansyah, A.: Aligning Observed and Modeled Behavior. Ph.D. thesis, Eindhoven University of Technology (2014)"},{"key":"681_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri\u00a0Hariri, B., et\u00a0al.: Verification of relational data-centric dynamic systems with external services. In: PODS, pp. 163\u2013174. ACM (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"681_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.infsof.2015.02.010","volume":"62","author":"D Borrego","year":"2015","unstructured":"Borrego, D., Gasca, R.M., L\u00f3pez, M.T.G.: Automating correctness verification of artifact-centric business process models. Inf. Softw. Technol. 62, 187\u2013197 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"681_CR4","unstructured":"Buijs, J.C.A.M.: Flexible Evolutionary Algorithms for Mining Structured Process Models. Ph.D. thesis, Eindhoven University of Technology (2014)"},{"key":"681_CR5","doi-asserted-by":"crossref","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van\u00a0der Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Cooperative Inf. Syst. 23(1), 29 (2014)","DOI":"10.1142\/S0218843014400012"},{"key":"681_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Montali, M., Esta\u00f1ol, M., Teniente, E.: Verifiable UML artifact-centric business process models. In: CIKM 2014, pp. 1289\u20131298. ACM (2014)","DOI":"10.1145\/2661829.2662050"},{"issue":"3","key":"681_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2338626.2338628","volume":"37","author":"E Damaggio","year":"2012","unstructured":"Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3), 22 (2012)","journal-title":"ACM Trans. Database Syst."},{"key":"681_CR8","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with Guard Stage Milestone lifecycles. Inf. Syst. 38(4), 561 \u2013 584 (2013). Special section on BPM 2011 conference"},{"issue":"12","key":"681_CR9","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":"681_CR10","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.is.2013.12.005","volume":"47","author":"M Leoni de","year":"2015","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258\u2013277 (2015). https:\/\/doi.org\/10.1016\/j.is.2013.12.005","journal-title":"Inf. Syst."},{"key":"681_CR11","doi-asserted-by":"crossref","unstructured":"Esta\u00f1ol, M., Sancho, M., Teniente, E.: Verification and validation of UML artifact-centric business process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015, LNCS, vol. 9097, pp. 434\u2013449. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-19069-3_27"},{"key":"681_CR12","first-page":"437","volume-title":"Service-Oriented Computing\u201311th International Conference, ICSOC 2013, LNCS","author":"M Esta\u00f1ol","year":"2013","unstructured":"Esta\u00f1ol, M., Sancho, M.R., Teniente, E.: Reasoning on UML data-centric business process models. In: Basu, S., et al. (eds.) Service-Oriented Computing\u201311th International Conference, ICSOC 2013, LNCS, vol. 8274, pp. 437\u2013445. Springer, Berlin (2013)"},{"key":"681_CR13","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.infsof.2017.09.003","volume":"93","author":"M Esta\u00f1ol","year":"2018","unstructured":"Esta\u00f1ol, M., Sancho, M.R., Teniente, E.: Ensuring the semantic correctness of a BAUML artifact-centric BPM. Inf. Softw. Technol. 93, 147\u2013162 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"681_CR14","doi-asserted-by":"crossref","unstructured":"Fahland, D., de\u00a0Leoni, M., van Dongen, B.F., van\u00a0der Aalst, W.M.P.: Conformance checking of interacting processes with overlapping instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Proceedings, LNCS, vol. 6896, pp. 345\u2013361. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-23059-2_26"},{"key":"681_CR15","doi-asserted-by":"crossref","unstructured":"Fahland, D., Leoni, M.D., van Dongen, B.F., van\u00a0der Aalst, W.M.P.: Behavioral conformance of artifact-centric process models. In: Abramowicz, W. (ed.) BIS 2011, LNBIP, vol.\u00a087, pp. 37\u201349. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21863-7_4"},{"key":"681_CR16","unstructured":"Fahland, D., et\u00a0al.: Checking Behavioral Conformance of Artifacts. Tech. Rep. BPM-11-07, BPM Center (2011)"},{"key":"681_CR17","doi-asserted-by":"crossref","unstructured":"Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Kr\u00e4mer, B.J., Lin, K.J., Narasimhan, P. (eds.) ICSOC, LNCS, vol. 4749, pp. 181\u2013192. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74974-5_15"},{"key":"681_CR18","doi-asserted-by":"crossref","unstructured":"Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, LNCS, vol. 5332, pp. 1152\u20131163. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"681_CR19","unstructured":"ISO: ISO\/IEC 19505-2:2012\u2014OMG UML superstructure 2.4.1 (2012). http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_detail.htm?csnumber=52854"},{"key":"681_CR20","doi-asserted-by":"crossref","unstructured":"Leoni, M.D., Aalst, W.M.P.V.D., Dongen, B.F.V.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) Business Information Systems, vol.\u00a087, pp. 48\u201359. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30359-3_5"},{"key":"681_CR21","doi-asserted-by":"crossref","unstructured":"Lu, X., Fahland, D., van\u00a0der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Fournier, F., Mendling, J. (eds.) Business Process Management Workshops\u2014BPM 2014, Revised Papers, LNBIP, vol. 202, pp. 75\u201388. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-15895-2_7"},{"issue":"4","key":"681_CR22","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407\u2013437 (2016). https:\/\/doi.org\/10.1007\/s00607-015-0441-1","journal-title":"Computing"},{"key":"681_CR23","doi-asserted-by":"publisher","unstructured":"Meyer, A., Weske, M.: Weak conformance between process models and synchronized object life cycles. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014, LNCS, vol. 8831, pp. 359\u2013367. Springer, Berlin (2014). https:\/\/doi.org\/10.1007\/978-3-662-45391-9_25","DOI":"10.1007\/978-3-662-45391-9_25"},{"key":"681_CR24","doi-asserted-by":"crossref","unstructured":"Munoz-Gama, J.: Conformance Checking and Diagnosis in Process Mining\u2014Comparing Observed and Modeled Processes, LNBIP, vol. 270. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-49451-7"},{"key":"681_CR25","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","volume":"46","author":"J Munoz-Gama","year":"2014","unstructured":"Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102\u2013122 (2014)","journal-title":"Inf. Syst."},{"issue":"4","key":"681_CR26","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"681_CR27","volume-title":"Conceptual Modeling of Information Systems","author":"A Oliv\u00e9","year":"2007","unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)"},{"key":"681_CR28","unstructured":"OMG: Object Constraint Language\u2014version 2.4 (2014). http:\/\/www.omg.org\/spec\/OCL\/2.4\/PDF"},{"key":"681_CR29","doi-asserted-by":"crossref","unstructured":"Popova, V., Fahland, D., Dumas, M.: Artifact lifecycle discovery. Int. J. Cooperative Inf. Syst. 24(1), 44 (2015)","DOI":"10.1142\/S021884301550001X"},{"key":"681_CR30","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: CAiSE, pp. 47\u201362 (2009)","DOI":"10.1007\/978-3-642-02144-2_9"},{"issue":"1","key":"681_CR31","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"681_CR32","first-page":"252","volume-title":"Service-Oriented Computing\u201311th International Conference, ICSOC 2013, LNCS","author":"D Solomakhin","year":"2013","unstructured":"Solomakhin, D., Montali, M., Tessaris, S., Masellis, R.D.: Verification of artifact-centric systems: decidability and modeling issues. In: Basu, S., et al. (eds.) Service-Oriented Computing\u201311th International Conference, ICSOC 2013, LNCS, vol. 8274, pp. 252\u2013266. Springer, Berlin (2013)"},{"key":"681_CR33","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle, H.: Semantics of control-flow in UML 2.0 activities. In: VL\/HCC, pp. 235\u2013242. IEEE Computer Society (2004)","DOI":"10.1109\/VLHCC.2004.46"},{"key":"681_CR34","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"4","key":"681_CR35","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Decomposing petri nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471\u2013507 (2013)","journal-title":"Distrib. Parallel Databases"},{"issue":"4","key":"681_CR36","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"issue":"3","key":"681_CR37","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333\u2013363 (2011)","journal-title":"Form. Asp. Comput."},{"key":"681_CR38","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0681-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-0681-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0681-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T19:13:08Z","timestamp":1751656388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-0681-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,25]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["681"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-0681-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,25]]},"assertion":[{"value":"31 January 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 May 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}