Extending Contract Automata with Reparations
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik · 2014
Abstract: Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata are a recent approach to modelling the notion of contract-based interaction between different parties using synchronous com-position. However, it lacks the notion of reparations for contract violations. In this article we look into different ways reparation can be added to an automaton-based contract approach, extended contract automata with three forms of such clauses: (i) catch-all reparations for violation; (ii) reparations for specific violations; and (iii) hierar-chical contracts for local reparation reasoning.