{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:59:35Z","timestamp":1742389175715},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042799"},{"type":"electronic","value":"9783642042805"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04280-5_9","type":"book-chapter","created":{"date-parts":[[2009,9,18]],"date-time":"2009-09-18T05:25:31Z","timestamp":1253251531000},"page":"96-111","source":"Crossref","is-referenced-by-count":4,"title":["Implementing a Rule-Based Contract Compliance Checker"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Strano","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Molina-Jimenez","sequence":"additional","affiliation":[]},{"given":"Santosh","family":"Shrivastava","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-88808-6_11","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"M. Strano","year":"2008","unstructured":"Strano, M., Molina-Jimenez, C., Shrivastava, S.: A Rule-based Notation to Specify Executable Electronic Contracts. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol.\u00a05321, pp. 81\u201388. Springer, Heidelberg (2008)"},{"key":"9_CR2","volume-title":"Proc. 11th IEEE Conf. on Commerce and Enterprise Computing (CEC 2009)","author":"C. Molina-Jimenez","year":"2009","unstructured":"Molina-Jimenez, C., Shrivastava, S., Strano, S.: Exception Handling in Electronic Contracting. In: Proc. 11th IEEE Conf. on Commerce and Enterprise Computing (CEC 2009), Vienna, Austria, July 20-23. IEEE Computer Society, Los Alamitos (2009)"},{"key":"9_CR3","unstructured":"JBoss Rules (2009), \n                    \n                      http:\/\/www.jboss.org\/drools\/"},{"key":"9_CR4","unstructured":"ebXML: Business Process Spec. Schema Tech. Spec. v2.0.4 (2006), \n                    \n                      http:\/\/docs.oasisopen.org\/ebxml-bp\/2.0.4\/OS\/spec\/ebxmlbp-v2.0.4-Spec-os-en.pdf"},{"key":"9_CR5","unstructured":"Implementation Framework - Core specification, Version V02.00.01 (March 2002), \n                    \n                      http:\/\/www.rosettanet.org\/"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/ECOWS.2006.25","volume-title":"Proc. 4th IEEE European Conf. on Web Services, (ECOWS 2006)","author":"C. Molina-Jimenez","year":"2006","unstructured":"Molina-Jimenez, C., Shrivastava, S.: Maintaining Consistency Between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. In: Proc. 4th IEEE European Conf. on Web Services (ECOWS 2006), pp. 148\u2013157. IEEE CS Press, Los Alamitos (2006)"},{"key":"9_CR7","first-page":"51","volume-title":"Proc. 11th IEEE Int\u2019l Conf. (EDOC 2007)","author":"C. Molina-Jimenez","year":"2007","unstructured":"Molina-Jimenez, C., Shrivastava, S., Cook, N.: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. In: Proc. 11th IEEE Int\u2019l Conf. (EDOC 2007), pp. 51\u201362. IEEE CS Press, Los Alamitos (2007)"},{"key":"9_CR8","unstructured":"Cawsey, A.: Forward Chaining Systems (1994), \n                    \n                      http:\/\/www.macs.hw.ac.uk\/~alison\/ai3notes\/subsection2_4_4_1.html"},{"key":"9_CR9","unstructured":"Forgy, C.L.: Rete: a fast algorithm for the many pattern\/many object pattern match problem. IEEE Computer Society Reprint Collection, 324\u2013341 (1991)"},{"key":"9_CR10","first-page":"287","volume-title":"VLDB 1991: Proceedings of the 17th International Conference on Very Large Data Bases","author":"D. Brant","year":"1991","unstructured":"Brant, D., Grose, T., Lofaso, B., Miranker, D.: Effects of Database Size on Rule System Performance: Five Case Studies. In: VLDB 1991: Proceedings of the 17th International Conference on Very Large Data Bases, pp. 287\u2013296. Kaufmann Publishers Inc., San Francisco (1991)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Perrin, O., Godart, C.: An Approach to Implement Contracts as Trusted Intermediaries. In: Proc. of the 1st IEEE Int\u2019l Workshop on Electronic Contracting (2004)","DOI":"10.1109\/WEC.2004.1319511"},{"key":"9_CR12","unstructured":"Noy, N.F., Crubezy, M., Fergerson, R.W., Knublauch, H., Tu, S.W., Vendetti, J., Musen, M.A.: Protege-2000: an Open-Source Ontology-Development and Knowledge-Acquisition Environment. In: AMIA Annual Symposium Proceedings, p. 953 (2003)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Gama, P., Ribeiro, C., Ferreira, P.: Heimdhal: A History-Based Policy Engine for Grids. In: Proc. of the 6th IEEE Int\u2019l Symposium on Cluster Computing and the Grid (CCGRID 2006), pp. 481\u2013488 (2006)","DOI":"10.1109\/CCGRID.2006.54"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N.H. Minsky","year":"2000","unstructured":"Minsky, N.H., Ungureanu, V.: Law-governed Interaction: a Coordination and Control Mechanism for Heterogeneous Distributed Systems. ACM Trans. Softw. Eng. Methodol.\u00a09(3), 273\u2013305 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Minsky, N.H., Ungureanu, V.: Scalable Regulation of Inter-enterprise Electronic Commerce. In: Electronic Commerce: 2nd Int\u2019l Workshop (November 2001)","DOI":"10.1007\/3-540-45598-1_20"},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1142\/S0218843006001384","volume":"15","author":"G. Spanoudakis","year":"2006","unstructured":"Spanoudakis, G., Mahbub, K.: Non Intrusive Monitoring of Service Based Systems. Int\u2019l Journal of Cooperative Information Systems\u00a015(3), 325\u2013358 (2006)","journal-title":"Int\u2019l Journal of Cooperative Information Systems"},{"key":"9_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-85834-8_23","volume-title":"Cooperative Information Agents XII","author":"N. Faci","year":"2008","unstructured":"Faci, N., Modgil, S., Oren, N., Meneguzzi, F., Miles, S., Luck, M.: Towards a Monitoring Framework for Agent-Based Contract Systems. In: Klusch, M., P\u011bchou\u010dek, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol.\u00a05180, pp. 292\u2013305. Springer, Heidelberg (2008)"},{"key":"9_CR18","unstructured":"The IST Contract Project, \n                    \n                      http:\/\/www.ist-contract.org\/"},{"issue":"2-3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1142\/S0218843005001122","volume":"14","author":"P.F. Linington","year":"2005","unstructured":"Linington, P.F.: Automating Support for E-Business Contracts. Int\u2019l Journal of Cooperative Information Systems\u00a014(2-3), 77\u201398 (2005)","journal-title":"Int\u2019l Journal of Cooperative Information Systems"}],"container-title":["IFIP Advances in Information and Communication Technology","Software Services for e-Business and e-Society"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04280-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T17:47:48Z","timestamp":1552153668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04280-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042799","9783642042805"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04280-5_9","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}