{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T00:41:27Z","timestamp":1792197687428,"version":"4.4.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/relaw.2010.5625356","type":"proceedings-article","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T16:53:34Z","timestamp":1290012814000},"page":"1-10","source":"Crossref","is-referenced-by-count":11,"title":["Law, logic and business processes"],"prefix":"10.1109","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"5","article-title":"Designing compliant business processes with obligations and permissions","volume":"4103","author":"goedertier","year":"2006","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843005001092","article-title":"Representing business contracts in RuleML","volume":"14","author":"governatori","year":"2005","journal-title":"International Journal of Cooperative Information Systems"},{"key":"18","first-page":"43","article-title":"Faster and more focused control-flow analysis for business process models through sese decomposition","volume":"4749","author":"vanhatalo","year":"2007","journal-title":"LNCS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp075"},{"key":"16","article-title":"A conceptually rich model of business process compliance","author":"governatori","year":"2010","journal-title":"APCCM 2010"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"14","first-page":"25","article-title":"Temporalised normative positions in defeasible logic","author":"governatori","year":"0","journal-title":"10th International Conference on Artificial Intelligence and Law (ICAIL05) 2005"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0387-2_4"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76928-6_50"},{"key":"21","author":"giblin","year":"2006","journal-title":"From Regulatory Policies to Event Monitoring Rules Towards Model-Driven Compliance Automation"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_13"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.155"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001110"},{"key":"24","first-page":"787","article-title":"Checking correctness of business contracts via commitments","author":"desai","year":"2008","journal-title":"Proc AAMAS 2008"},{"key":"25","article-title":"Integrating risks in business process models","author":"zur muehlen","year":"2005","journal-title":"Proc ACISP 2005"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1147\/sj.462.0335"},{"key":"28","article-title":"Detecting regulatory compliance for business process models through semantic annotations","author":"governatori","year":"0","journal-title":"Proceedings of the 4th International Workshop on Business Process Design"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16289-3_17"},{"key":"3","first-page":"426","article-title":"The journey to business process compliance","author":"governatori","year":"2008","journal-title":"Handb of Res on BPM"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01982-1_8"},{"key":"10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","article-title":"Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations","volume":"4","author":"governatori","year":"2006","journal-title":"Australasian Journal of Logic"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2004.1343001"},{"key":"7","author":"von wright","year":"1963","journal-title":"Norm and Action"},{"key":"6","author":"abate","year":"2001","journal-title":"New Oxford American Dictionary"},{"key":"5","article-title":"Legal reasoning: A cognitive approach to the law","volume":"5","author":"sartor","year":"2005","journal-title":"A Treatise of Legal Philosophy and General Jurisprudence"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198252177.001.0001"},{"key":"9","first-page":"186","article-title":"An algorithm for business process compliance","author":"governatori","year":"2008","journal-title":"Jurix 2008"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04985-9_26"}],"event":{"name":"2010 Third International Workshop on Requirements Engineering and Law (RELAW)","location":"Sydney, Australia","start":{"date-parts":[[2010,9,28]]},"end":{"date-parts":[[2010,9,28]]}},"container-title":["2010 Third International Workshop on Requirements Engineering and Law"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5613532\/5625353\/05625356.pdf?arnumber=5625356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T06:19:56Z","timestamp":1559801996000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5625356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/relaw.2010.5625356","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}