A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies

  • Alan S. Abrahams
  • David M. Eyers
  • Jean M. Bacon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2444)


The EDEE system provides a framework through which businesses may store the data pertaining to business events, contracts and organizational policies, within a single repository using the unifying notion of an occurrence.A collection of stored queries (cf.SQL views) is maintained. Each query describes the occurrences promised and prohibited under the provisions of the contracts and policies of an organization. This paper proposes a mechanism for both the static and dynamic derivation of the overlaps between queries. We show, through worked examples, that by determining these covering relationships we can discover inconsistencies between business contracts and organizational policies.


Parse Tree Organizational Policy Query Optimizer Business Contract Business Event 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. S. Abrahams and J. M. Bacon. The life and times of identified, situated, and conflicting norms. In Sixth International Workshop on Deontic Logic in Computer Science (DEON’02), Imperial College, London, UK, May 2002.Google Scholar
  2. 2.
    A. S. Abrahams and J. M. Bacon. A software implementation of Kimbrough’s disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiations Journal, Forthcoming.Google Scholar
  3. 3.
    R. Ayres and P. J. H. King. Querying graph databases using a functional language extended with second order facilities. In Advances in Databases, 14th British National Conference on Databases, BNCOD 14, Edinburgh, UK, July 3–5, 1996, Proceedings, pages 189–203.Springer, 1996.Google Scholar
  4. 4.
    R. W. H. Bons, R. M. Lee, R.W. Wagenaar, and C. D. Wrigley. Modelling interorganizational trade procedures using documentary petri nets.In Proceedings of the Hawaii Internaional Conference on System Sciences, 1995.Google Scholar
  5. 5.
    OASIS Provisioning Services Technical Committee. An introduction to the provisioningservices technical committee., 2001.
  6. 6.
    A. Daskalopulu, T. Dimtrakos, and T. S. E. Maibaum. E-contract fulfillment and agents’ attitudes. In Proceedings ERCIM WG E-Commerce Workshop on the Role of Trust in E-Business, Zurich, October 2001.Google Scholar
  7. 7.
    OASIS ebXML Collaboration Protocol Profile and Agreement Technical Committee. Collab oration-protocol profile and agreement specification., 2002.
  8. 8.
    C. Forgy. Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence, 19(1):17–37, 1982.CrossRefGoogle Scholar
  9. 9.
    A. Gupta and I. S. Mumick. Maintenance of materialized views: Problems, techniques, and applications. Data Engineering Bulletin, 18(2):3–18, 1995.Google Scholar
  10. 10.
    S. O. Kimbrough. Reasoning about the objects of attitudes and operators: Towards a disquotation theory for the representation of propositional content. In Eight International Conference on Artificial Intelligence and the Law (ICAIL 2001), St Louis, Missouri, May 2001.Google Scholar
  11. 11.
    M. Koetsier, P. Grefen, and J. Vonk. Cross-organisational workflow: Crossflow ESPRIT E/28635 contract model, deliverable D4b. Technical report, CrossFlow consortium, 1999.Google Scholar
  12. 12.
    M. Merz, E. GriFFel, T. Tu, S. Muller-Wilken, H. Weinreich, M. Boger, and W. Lamersdorf. Supporting electronic commerce transactions with contracting services. International Journal of Cooperative Information Systems, 7(4):249–274, December 1998.CrossRefGoogle Scholar
  13. 13.
    D. P. Miranker. TREAT: A better match algorithm for AI production system matching. In Proceedings of the 6th National Conference on ArtifIcial Intelligence, Seattle, WA, July 1987, pages 42–47.Morgan Kaufmann, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Alan S. Abrahams
    • 1
  • David M. Eyers
    • 1
  • Jean M. Bacon
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeUK

Personalised recommendations