{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:14:35Z","timestamp":1759133675293,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T00:00:00Z","timestamp":1414972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["FP7-318338"],"award-info":[{"award-number":["FP7-318338"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["TIN2011- 24747","TIN2008-00444"],"award-info":[{"award-number":["TIN2011- 24747","TIN2008-00444"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,3]]},"DOI":"10.1145\/2661829.2662050","type":"proceedings-article","created":{"date-parts":[[2014,11,7]],"date-time":"2014-11-07T17:10:54Z","timestamp":1415380254000},"page":"1289-1298","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Verifiable UML Artifact-Centric Business Process Models"],"prefix":"10.1145","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[{"name":"Free University of Bozen-Bolzano, Bolzano, Italy"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Bolzano, Italy"}]},{"given":"Montserrat","family":"Esta\u00f1ol","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}]}],"member":"320","published-online":{"date-parts":[[2014,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465221"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2512538.2512554"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34321-6_2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-288-6.ch023"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33203-6_4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661829.2662050"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338626.2338628"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2012.09.002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-642-36285-9_34","volume-title":"Proc. of BPM Workshops","volume":"132","author":"Estanol M.","year":"2012","unstructured":"M. Estanol, A. Queralt, M.-R. Sancho, and E. Teniente. Artifact-centric business process models in UML. In Proc. of BPM Workshops, volume 132 of LNBIP, pages 292--303. Springer, 2012."},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"437","volume-title":"Proc. of ICSOC","author":"Estanol M.","year":"2013","unstructured":"M. Estanol, M.-R. Sancho, and E. Teniente. Reasoning on UML data-centric business process models. In Proc. of ICSOC, volume 8274 of LNCS, pages 437--445. Springer, 2013."},{"key":"e_1_3_2_1_11_1","series-title":"LNBIP","first-page":"37","volume-title":"Proc.of BIS","author":"Fahland D.","year":"2011","unstructured":"D. Fahland, M. D. Leoni, B. F. van Dongen, and W. M. P. van der Aalst. Behavioral conformance of artifact-centric process models. In Proc.of BIS, volume 87 of LNBIP, pages 37--49. Springer, 2011."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2012.31"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2002259.2002270"},{"key":"e_1_3_2_1_16_1","volume-title":"OMG","author":"SO.","year":"1950","unstructured":"ISO. ISO\/IEC 19505--2:2012 - OMG UML superstructure 2.4.1. Technical Report ISO\/IEC 19505--2:2012, OMG, 2012."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.524"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_14"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095587"},{"key":"e_1_3_2_1_20_1","volume-title":"OMG","author":"OMG.","year":"2014","unstructured":"OMG. OCL version 2.4. Technical report, OMG, 2014."},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","first-page":"252","volume-title":"Proc. of ICSOC","author":"Solomakhin D.","year":"2013","unstructured":"D. Solomakhin, M. Montali, S. Tessaris, and R. D. Masellis. Verification of artifact-centric systems: Decidability and modeling issues. In Proc. of ICSOC, volume 8274 of LNCS, pages 252--266. Springer, 2013."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1324837"}],"event":{"name":"CIKM '14: 2014 ACM Conference on Information and Knowledge Management","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"],"location":"Shanghai China","acronym":"CIKM '14"},"container-title":["Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661829.2662050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661829.2662050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:49Z","timestamp":1750231189000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661829.2662050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,3]]},"references-count":22,"alternative-id":["10.1145\/2661829.2662050","10.1145\/2661829"],"URL":"https:\/\/doi.org\/10.1145\/2661829.2662050","relation":{},"subject":[],"published":{"date-parts":[[2014,11,3]]},"assertion":[{"value":"2014-11-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}