{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T19:43:13Z","timestamp":1768419793358,"version":"3.49.0"},"reference-count":9,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2006,12]]},"abstract":"<jats:p> This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language, called Business Contract Language (BCL), previously developed to express contract conditions for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL. <\/jats:p>","DOI":"10.1142\/s0218843006001529","type":"journal-article","created":{"date-parts":[[2006,10,17]],"date-time":"2006-10-17T16:26:00Z","timestamp":1161102360000},"page":"659-685","source":"Crossref","is-referenced-by-count":65,"title":["A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE"],"prefix":"10.1142","volume":"15","author":[{"given":"GUIDO","family":"GOVERNATORI","sequence":"first","affiliation":[{"name":"School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia"}]},{"given":"ZORAN","family":"MILOSEVIC","sequence":"additional","affiliation":[{"name":"Deontik Pty Ltd, 7\/72 Seagull Avenue, Mermaid Beach, QLD AZ18, Australia"}]}],"member":"219","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001109"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0387-2_4"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-004-1922-2"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001092"},{"key":"rf10","first-page":"193","volume":"4","author":"Governatori G.","journal-title":"Australasian Journal of Logic"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(88)90096-6"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.03.005"},{"key":"rf19","volume-title":"The Power of Events","author":"Luckham D.","year":"2002"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843006001529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:48:25Z","timestamp":1565131705000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843006001529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":9,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[2006,12]]}},"alternative-id":["10.1142\/S0218843006001529"],"URL":"https:\/\/doi.org\/10.1142\/s0218843006001529","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"value":"0218-8430","type":"print"},{"value":"1793-6365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}