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.
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 Access for subscribers Purchase this article Comment on this article