{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:38:58Z","timestamp":1754109538828,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T00:00:00Z","timestamp":1370822400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000935","name":"Department of Broadband, Communications and the Digital Economy , Australian Government","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000935","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,10]]},"DOI":"10.1145\/2514601.2514638","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"245-246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Regorous"],"prefix":"10.1145","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[{"name":"NICTA, Australia"}]},{"given":"Sidney","family":"Shek","sequence":"additional","affiliation":[{"name":"NICTA, Australia"}]}],"member":"320","published-online":{"date-parts":[[2013,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001092"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2006.22"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v4i0.1780"},{"key":"e_1_3_2_1_5_1","first-page":"186","volume-title":"Jurix","author":"Governatori G.","year":"2008","unstructured":"G. Governatori and A. Rotolo . An algorithm for business process compliance . In Jurix 2008 , pp. 186 -- 191 . IOS Press , 2008. G. Governatori and A. Rotolo. An algorithm for business process compliance. In Jurix 2008, pp. 186--191. IOS Press, 2008."},{"key":"e_1_3_2_1_6_1","first-page":"3","volume-title":"APCCM 2010","author":"Governatori G.","year":"2010","unstructured":"G. Governatori and A. Rotolo . A conceptually rich model of business process compliance . In APCCM 2010 , CRPIT 110, pp. 3 -- 12 . ACS, 2010 . G. Governatori and A. Rotolo. A conceptually rich model of business process compliance. In APCCM 2010, CRPIT 110, pp. 3--12. ACS, 2010."},{"key":"e_1_3_2_1_7_1","first-page":"194","volume-title":"RuleML","author":"Governatori G.","year":"2010","unstructured":"G. Governatori and A. Rotolo . Norm Compliance in Business Process Modeling . In RuleML 2010 , LNCS 6403, pp. 194 -- 209 . Springer , 2010. G. Governatori and A. Rotolo. Norm Compliance in Business Process Modeling. In RuleML 2010, LNCS 6403, pp. 194--209. Springer, 2010."},{"key":"e_1_3_2_1_8_1","first-page":"426","volume-title":"J. Cardoso and W. van der Aalst (eds) Handbook of Research on BPM","author":"Governatori G.","year":"2009","unstructured":"G. Governatori and S. Sadiq . The journey to business process compliance . In J. Cardoso and W. van der Aalst (eds) Handbook of Research on BPM , pp. 426 -- 454 . IGI Global , 2009 . G. Governatori and S. Sadiq. The journey to business process compliance. In J. Cardoso and W. van der Aalst (eds) Handbook of Research on BPM, pp. 426--454. IGI Global, 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04985-9_29"},{"key":"e_1_3_2_1_10_1","first-page":"120","volume-title":"Compliance Aware Business Process Design. In BPM Workshop 2007","author":"Lu R.","year":"2007","unstructured":"R. Lu , S. Sadiq and G. Governatori . Compliance Aware Business Process Design. In BPM Workshop 2007 , LNCS 4928, pp. 120 -- 131 . Springer , 2007 . R. Lu, S. Sadiq and G. Governatori. Compliance Aware Business Process Design. In BPM Workshop 2007, LNCS 4928, pp. 120--131. Springer, 2007."},{"key":"e_1_3_2_1_11_1","first-page":"157","volume-title":"J. van Brocke and M. Rosemann (eds) Handbook of Business Process Management, v.2","author":"Sadiq S.","year":"2010","unstructured":"S. Sadiq and G. Governatori . Managing regulatory compliance in business processes . In J. van Brocke and M. Rosemann (eds) Handbook of Business Process Management, v.2 , pp 157 -- 173 . Springer , 2010 . S. Sadiq and G. Governatori. Managing regulatory compliance in business processes. In J. van Brocke and M. Rosemann (eds) Handbook of Business Process Management, v.2, pp 157--173. Springer, 2010."},{"key":"e_1_3_2_1_12_1","first-page":"149","volume-title":"BPM 2007","author":"Sadiq S.","year":"2007","unstructured":"S. Sadiq , G. Governatori , and K. Naimiri . Modelling of control objectives for business process compliance . In BPM 2007 , LNCS 4714, pp 149 -- 164 . Springer , 2007 . S. Sadiq, G. Governatori, and K. Naimiri. Modelling of control objectives for business process compliance. In BPM 2007, LNCS 4714, pp 149--164. Springer, 2007."}],"event":{"name":"ICAIL '13: International Conference on Artificial Intelligence and Law","sponsor":["ITTIG-CNR Istituto di Teoria e Tecniche dell'Informazione Giuridica - Consiglio Nazionale delle Ricerche","IAAIL Intl Asso for Artifical Intel & Law","SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Rome Italy","acronym":"ICAIL '13"},"container-title":["Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2514601.2514638","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2514601.2514638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:18Z","timestamp":1750235958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2514601.2514638"}},"subtitle":["a business process compliance checker"],"short-title":[],"issued":{"date-parts":[[2013,6,10]]},"references-count":12,"alternative-id":["10.1145\/2514601.2514638","10.1145\/2514601"],"URL":"https:\/\/doi.org\/10.1145\/2514601.2514638","relation":{},"subject":[],"published":{"date-parts":[[2013,6,10]]},"assertion":[{"value":"2013-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}