{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:49:24Z","timestamp":1742395764082},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888079"},{"type":"electronic","value":"9783540888086"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88808-6_11","type":"book-chapter","created":{"date-parts":[[2008,10,28]],"date-time":"2008-10-28T09:06:41Z","timestamp":1225184801000},"page":"81-88","source":"Crossref","is-referenced-by-count":9,"title":["A Rule-Based Notation to Specify Executable Electronic Contracts"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Strano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Molina-Jimenez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Shrivastava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Strano, M., Molina-Jimenez, C., Shrivastava, S.: A rule-based notation to specify executable electronic contracts. Technical Report, School of Computing Science, Newcastle University (2008)","DOI":"10.1007\/978-3-540-88808-6_11"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S., Warne, J.: A method for specifying contract mediated interactions. In: Proc. of 9th IEEE Int\u2019l Enterprise Distributed Object Computing Conference (EDOC 2005), pp. 106\u2013115 (2005)","DOI":"10.1109\/EDOC.2005.1"},{"key":"11_CR3","unstructured":"RosettaNet: Implementation framework \u2013 core specification, http:\/\/www.rosettanet.org\/"},{"key":"11_CR4","unstructured":"ebXML: Business Process Spec. Schema Tech. Spec. v2.0.4 (2006), http:\/\/docs.oasis-open.org\/ebxml-bp\/2.0.4\/OS\/spec\/ebxmlbp-v2.0.4-Spec-os-en.pdf"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S., Cook, N.: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. In: 11th IEEE Int\u2019l Enterprise Distrib. Object Computing Conf. (EDOC 2007) (2007)","DOI":"10.1109\/EDOC.2007.21"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary\u2013to\u2013duty obligations. Australasian Journal of Logic\u00a04, 193\u2013215 (2006)","journal-title":"Australasian Journal of Logic"},{"key":"11_CR7","unstructured":"Strano, M., Molina-Jimenez, C., Shrivastava, S.: A model for checking contractual compliance of business operations. Technical Report N. 1094, School of Computing Science, Newcastle University (2008)"},{"key":"11_CR8","unstructured":"JBoss: Drools, http:\/\/www.jboss.org\/drools\/"}],"container-title":["Lecture Notes in Computer Science","Rule Representation, Interchange and Reasoning on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88808-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T19:31:34Z","timestamp":1557862294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88808-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888079","9783540888086"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88808-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}