{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:56:23Z","timestamp":1742399783811},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/edoc.2003.1233837","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T14:24:01Z","timestamp":1075818241000},"page":"50-61","source":"Crossref","is-referenced-by-count":14,"title":["Identifying requirements for Business Contract Language: a monitoring perspective"],"prefix":"10.1109","author":[{"given":"S.","family":"Neal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Cole","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.F.","family":"Linington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Milosevic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Gibson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kulkarni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2001.950443"},{"journal-title":"Open Distributed Processing-enterprise Language","year":"2002","key":"ref11"},{"journal-title":"Oracle Contracts","year":"0","key":"ref12"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1994","key":"ref13"},{"journal-title":"iMany","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(88)90096-6"},{"journal-title":"UpsideContracts","year":"0","key":"ref6"},{"journal-title":"DiCarta","year":"0","key":"ref5"},{"journal-title":"A Language for the Dynamic Verification of Design Patterns in Distributed Computing","year":"2001","author":"neal","key":"ref8"},{"journal-title":"The Power of Events","year":"2002","author":"luckham","key":"ref7"},{"journal-title":"On Expressing and Monitoring Behaviour in Contracts EDOC2002 Conference Lausanne","year":"0","author":"milosevic","key":"ref2"},{"journal-title":"Using Policies in the Checking of Business to Business Contracts Policy","year":"2003","author":"linington","key":"ref1"},{"journal-title":"Enterprise Aspects of Open Distributed Systems","year":"1995","author":"milosevic","key":"ref9"}],"event":{"name":"Seventh IEEE International Enterprise Distributed Object Computing Conference","acronym":"EDOC-03","location":"Brisbane, Qld., Australia"},"container-title":["Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8730\/27649\/01233837.pdf?arnumber=1233837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:31:41Z","timestamp":1489415501000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1233837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/edoc.2003.1233837","relation":{},"subject":[]}}