Proceedings of the 8th international conference on Artificial intelligence and law
Querying Graph Databases Using a Functional Language Extended with Second Order Facilities
BNCOD 14 Proceedings of the 14th British National Conference on Databases: Advances in Databases
Multivariate statistical techniques for parallel performance prediction
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
An integrated model of workflows, e-contracts and solution implementation
Proceedings of the 2004 ACM symposium on Applied computing
Middleware for supporting inter-organizational interactions
Future directions in distributed computing
| Hi-index | 0.00 |
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.