Practical Contract Storage, Checking, and Enforcement for Business Process Automation

Alan Abrahams (), David Eyers () and Jean Bacon ()
Additional contact information
Alan Abrahams: University of Cambridge
David Eyers: University of Cambridge
Jean Bacon: University of Cambridge

Chapter 1 in Formal Modelling in Electronic Commerce, 2005, pp 33-77 from Springer

Abstract: Abstract We show how Kimbrough’s Disquotation Theory, a formal theory about sentences that embed propositional content, 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. Detailed examples illustrate how a query coverage-determination mechanism can be used to check inter-organizational contractual provisions against internal policies and external legislation for dynamic conflicts. The work presented here demonstrates that an extended version of Kimbrough’s theory presents a novel and promising means of storing interrogable and executable specifications for e-commerce workflow applications.

Keywords: Propositional Content; Deontic Logic; Thematic Role; Active Database; Business Contract (search for similar items in EconPapers)
Date: 2005
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ihichp:978-3-540-26989-2_2

Ordering information: This item can be ordered from
http://www.springer.com/9783540269892

DOI: 10.1007/3-540-26989-4_2

Access Statistics for this chapter

More chapters in International Handbooks on Information Systems from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().