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

Abstract

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.

An integrated model of workflows, e-contracts and solution implementation

“…Our WCS model focuses on integration of the three major factors of e-contracts, workflows, and human decision-making. Abrahams et al [1] showed checking contract provisions by issuing SQL queries over a database. In their approach, contract provisions are required to be translatable into SQL queries, which restricts provisions to be too simple and verifiable by query logic.…”