Contract Automata with Reparations
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 is a recent approach to modelling the notion of contract-based interaction between different parties us...
Guardado en:
| Autor principal: | |
|---|---|
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v271_n_p49_Azzopardi http://hdl.handle.net/20.500.12110/paper_09226389_v271_n_p49_Azzopardi |
| Aporte de: |
| Sumario: | 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 is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into, and contrast different ways reparation can be added to an automaton- and state-based contract approach, extending contract automata with two forms of such clauses: catch-all reparations for violation and reparations for specific violations. © 2014 The authors and IOS Press. All rights reserved. |
|---|