A Software Implementation of Kimbrough's Disquotation Theory for Representing and Enforcing Electronic Commerce Contracts

Authors: Abrahams A.S.; Bacon J.M.

Source: Group Decision and Negotiation, Volume 11, Number 6, November 2002 , pp. 487-524(38)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

Abstract:

Kimbrough's Disquotation Theory, a formal theory about sentences that embed propositional content, expounds the fulfillment and violation conditions for speech acts such as asserting, permitting, and obliging. This paper aims to show how the theory can be profitably applied to the creation of computational environments for monitoring and enforcing electronic commerce contracts using pervasive, mainstream industrial technologies such as Java and relational databases. We examine the notion of an occurrence and provide a structural representation of this abstraction. We show how contractual provisions – obligations, permissions, prohibitions, and powers – can be stored, monitored, and enforced. A query overlap determination mechanism is applied to the problem of monitoring occurrences and analyzing contractual provisions for conflicts. The work presented here demonstrates that, with certain alterations, Kimbrough's theory presents a promising means of storing interrogable and executable specifications for e-commerce workflow applications.

Keywords: continous queries; contracts; Disquotation Theory; electronic commerce; executable specification; occurrences

Language: English

Document Type: Research article

Affiliations: 1: University of Cambridge Computer Laboratory, William Gates Building, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK

Publication date: 2002-11-01