Title: DR-CONTRACT: an architecture for e-contracts in defeasible logic

Authors: Guido Governatori, Duy Hoang Pham

Addresses: NICTA, Queensland Research Laboratory, P.O. Box 6020, St Lucia 4067, Australia. ' NICTA, Queensland Research Laboratory, P.O. Box 6020, St Lucia 4067, Australia

Abstract: We introduce the DR-CONTRACT architecture to represent and reason on e-contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in defeasible logic.

Keywords: defeasible logic; violations; e-contracts; electronic contracts; deontic logic; contract monitoring; formal representation; formal language.

DOI: 10.1504/IJBPIM.2009.030985

International Journal of Business Process Integration and Management, 2009 Vol.4 No.3, pp.187 - 199

Published online: 16 Jan 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article