{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:46:52Z","timestamp":1759682812811},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"02n03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2005,6]]},"abstract":"<jats:p> Business contracts play a central role in governing commercial interactions between organizations. It is increasingly recognized that business contract conditions need to be closely linked to internal and external business processes, both to reduce the risk of contract violations and to ensure compliance with legislative regimes. Recent research has proposed contract languages allowing the specification of obligations, permissions and prohibitions in business contracts. Business processes that cross-organizational boundaries can be specified in choreography and coordination languages but these do not provide appropriate abstractions for contract constraints. In this paper, we examine the transformation of contract constraints in a business contract language into expressions in a choreography language. An example cross-organizational process is presented, along with a specification of the process in a choreography language and a specification of a set of contract conditions for the process in a business contract language. The contract terms are then translated into choreography expressions that govern the process to ensure compliance. Subsequent discussion explores a number of business and technology issues related to the results. We conclude that cross-organizational business processes can be monitored and enforced according to business contract specifications through the transformation of a contract definition to constraints on process behavior. <\/jats:p>","DOI":"10.1142\/s0218843005001109","type":"journal-article","created":{"date-parts":[[2005,6,6]],"date-time":"2005-06-06T11:01:02Z","timestamp":1118055662000},"page":"131-179","source":"Crossref","is-referenced-by-count":28,"title":["EXTENDING CHOREOGRAPHY WITH BUSINESS CONTRACT CONSTRAINTS"],"prefix":"10.1142","volume":"14","author":[{"given":"ANDREW","family":"BERRY","sequence":"first","affiliation":[]},{"given":"ZORAN","family":"MILOSEVIC","sequence":"additional","affiliation":[{"name":"Distributed Systems Technology Centre, University of Queensland, Brisbane  QLD  4072, Australia"}]}],"member":"219","published-online":{"date-parts":[[2012,4,6]]},"reference":[{"key":"rf5","volume-title":"Open Distributed Processing: Experiences with distributed environments","author":"Berry A.","year":"1995"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61052-9"},{"key":"rf10","volume-title":"Workshop on Policies for Distributeed Systems and Networks (Policy2001)","author":"Damianou N.","year":"2001"},{"key":"rf13","volume-title":"Proceedings of Enterprise Distributed Object Computing (EDOC2004), Monterey, California, USA","author":"Duddy K.","year":"2004"},{"key":"rf16","first-page":"28","author":"Fidge C.","journal-title":"IEEE Computer"},{"key":"rf19","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"Kiczales G.","year":"1997"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(88)90096-6"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.03.005"},{"key":"rf25","volume-title":"The Power of Events","author":"Luckham D.","year":"2002"},{"key":"rf26","volume":"100","author":"Milner R.","journal-title":"Information and Computation"},{"key":"rf28","volume-title":"Proceedings of the Workshop on Services in Distributed and Networked Environments","author":"Milosevic Z.","year":"1995"},{"key":"rf29","volume-title":"The First IEEE Workshop on E-contracting (WEC04)","author":"Milosevic Z.","year":"2004"},{"key":"rf30","volume-title":"Proceedings of Enterprise Distributed Object Computing (EDOC2002), Lausanne, Switzerland","author":"Milosevic Z.","year":"2002"},{"key":"rf38","volume-title":"Proceedings of Enterprise Distributed Object Computing (EDOC2000), Makuhari, Japan","author":"Schulz K.","year":"2000"},{"key":"rf41","first-page":"1","volume":"237","author":"von Wright G. H.","journal-title":"Mind LX"},{"key":"rf43","volume-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","author":"Widom J.","year":"1995"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843005001109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T04:44:17Z","timestamp":1565153057000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843005001109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":17,"journal-issue":{"issue":"02n03","published-online":{"date-parts":[[2012,4,6]]},"published-print":{"date-parts":[[2005,6]]}},"alternative-id":["10.1142\/S0218843005001109"],"URL":"https:\/\/doi.org\/10.1142\/s0218843005001109","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"value":"0218-8430","type":"print"},{"value":"1793-6365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}