Implementing a Rule-Based Contract Compliance Checker

IFIP Advances in Information and Communication Technology

Volumn 305, Issue , 2009, Pages 96-111

  Strano, Massimo ^a   Molina Jimenez, Carlos ^a   Shrivastava, Santosh ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS OPERATION; BUSINESS PARTNERS; BUSINESS RULES; BUSINESS TO BUSINESS; CONTRACT SPECIFICATIONS; DESIGN AND IMPLEMENTATIONS; INDUSTRY STANDARDS; MONITORING SERVICES;

ELECTRONIC COMMERCE; LAW ENFORCEMENT; SPECIFICATION LANGUAGES;

WORLD WIDE WEB;

EID: 84857333157     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-04280-5_9     Document Type: Conference Paper

References (19)

1. 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. 5321, pp. 81-88. Springer, Heidelberg (2008)
2. 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)
3. JBoss Rules (2009), http://www.jboss.org/drools/
4. ebXML: Business Process Spec. Schema Tech. Spec. v2.0.4 (2006), http://docs.oasisopen.org/ebxml-bp/2.0.4/OS/spec/ ebxmlbp-v2.0.4-Spec-os-en.pdf
5. Implementation Framework-Core specification, Version V02.00.01 (March 2002), http://www.rosettanet.org/
6. 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-157. IEEE CS Press, Los Alamitos (2006)
7. Molina-Jimenez, C., Shrivastava, S., Cook, N.: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. In: Proc. 11th IEEE Int'l Conf. (EDOC 2007), pp. 51-62. IEEE CS Press, Los Alamitos (2007)
8. Cawsey, A.: Forward Chaining Systems (1994), http://www.macs.hw.ac.uk/~alison/ai3notes/subsection2_4_4_1.html
9. Forgy, C.L.: Rete: a fast algorithm for the many pattern/many object pattern match problem. IEEE Computer Society Reprint Collection, 324-341 (1991)
10. 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-296. Kaufmann Publishers Inc., San Francisco (1991)
11. Perrin, O., Godart, C.: An Approach to Implement Contracts as Trusted Intermediaries. In: Proc. of the 1st IEEE Int'l Workshop on Electronic Contracting (2004)
12. 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)
13. Gama, P., Ribeiro, C., Ferreira, P.: Heimdhal: A History-Based Policy Engine for Grids. In: Proc. of the 6th IEEE Int'l Symposium on Cluster Computing and the Grid (CCGRID 2006), pp. 481-488 (2006)
14. Minsky, N.H., Ungureanu, V.: Law-governed Interaction: a Coordination and Control Mechanism for Heterogeneous Distributed Systems. ACM Trans. Softw. Eng. Methodol. 9(3), 273-305 (2000)
15. Minsky, N.H., Ungureanu, V.: Scalable Regulation of Inter-enterprise Electronic Commerce. In: Electronic Commerce: 2nd Int'l Workshop (November 2001)
16. Spanoudakis, G., Mahbub, K.: Non Intrusive Monitoring of Service Based Systems. Int'l Journal of Cooperative Information Systems 15(3), 325-358 (2006)
17. 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»echou»cek, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol. 5180, pp. 292-305. Springer, Heidelberg (2008)
18. The IST Contract Project, http://www.ist-contract.org/
19. Linington, P.F.: Automating Support for E-Business Contracts. Int'l Journal of Cooperative Information Systems 14(2-3), 77-98 (2005)