Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

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

Alan S. AbrahamsContact Information, David M. EyersContact Information and Jean M. BaconContact Information

(5)  Computer Laboratory, University of Cambridge, UK
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.

Contact Information Alan S. Abrahams
Email: Alan.Abrahams@cl.cam.ac.uk

Contact Information David M. Eyers
Email: David.Eyers@cl.cam.ac.uk

Contact Information Jean M. Bacon
Email: Jean.Bacon@cl.cam.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: MPWEB26
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)