Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
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.
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.
OASIS Provisioning Services Technical Committee. An introduction to the provisioningservices technical committee. http://www.oasis-open.org/committees/provision/Intro-102301.doc, 2001.
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.
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.
C. Forgy. Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence, 19(1):17–37, 1982.
A. Gupta and I. S. Mumick. Maintenance of materialized views: Problems, techniques, and applications. Data Engineering Bulletin, 18(2):3–18, 1995.
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.
M. Koetsier, P. Grefen, and J. Vonk. Cross-organisational workflow: Crossflow ESPRIT E/28635 contract model, deliverable D4b. Technical report, CrossFlow consortium, 1999.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abrahams, A.S., Eyers, D.M., Bacon, J.M. (2002). A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies. In: Buchmann, A., Fiege, L., Casati, F., Hsu, MC., Shan, MC. (eds) Technologies for E-Services. TES 2002. Lecture Notes in Computer Science, vol 2444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46121-3_12
Download citation
DOI: https://doi.org/10.1007/3-540-46121-3_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44110-6
Online ISBN: 978-3-540-46121-0
eBook Packages: Springer Book Archive