A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies
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.
KeywordsParse Tree Organizational Policy Query Optimizer Business Contract Business Event
Unable to display preview. Download preview PDF.
- 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.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.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.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.OASIS Provisioning Services Technical Committee. An introduction to the provisioningservices technical committee. http://www.oasis-open.org/committees/provision/Intro-102301.doc, 2001.
- 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.OASIS ebXML Collaboration Protocol Profile and Agreement Technical Committee. Collab oration-protocol profile and agreement specification. http://www.oasis-open.org/committees/ebxml-cppa/documents/ebcpp-2_0.pdf, 2002.
- 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.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.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
- 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