On observing contracts: Deontic contracts meet smart contracts

Smart contracts have been proposed as executable implementations enforcing real-life contracts. Unfortunately, the semantic gap between these allows for the smart contract to diverge from its intended deontic behaviour. In this paper we show how a deontic contract can be used for real-time monitorin...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Azzopardi, S., Pace, G.J., Schapachnik, F., Palmirani M.
Formato: SER
Materias:
Blockchain
Contracts
Deontic logic
Monitoring
Smart contracts
Computer circuits
Crime
Semantics
Deontic
Deontic Logic
Interactive system
Real time monitoring
Semantic gap
Real time systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09226389_v313_n_p21_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_09226389_v313_n_p21_Azzopardi
record_format dspace
spelling todo:paper_09226389_v313_n_p21_Azzopardi2023-10-03T15:45:48Z On observing contracts: Deontic contracts meet smart contracts Azzopardi, S. Pace, G.J. Schapachnik, F. Palmirani M. Blockchain Contracts Deontic logic Monitoring Smart contracts Blockchain Computer circuits Contracts Crime Monitoring Semantics Deontic Deontic Logic Interactive system Real time monitoring Semantic gap Smart contracts Real time systems Smart contracts have been proposed as executable implementations enforcing real-life contracts. Unfortunately, the semantic gap between these allows for the smart contract to diverge from its intended deontic behaviour. In this paper we show how a deontic contract can be used for real-time monitoring of smart contracts specifically and request-based interactive systems in general, allowing for the identification of any violations. The deontic logic of actions we present takes into account the possibility of action failure (which we can observe in smart contracts), allowing us to consider novel monitorable semantics for deontic norms. For example, taking a rights-based view of permissions allows us to detect the violation of a permission when a permitted action is not allowed to succeed. A case study is presented showing this approach in action for Ethereum smart contracts. © 2018 The authors and IOS Press. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09226389_v313_n_p21_Azzopardi
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Blockchain
Contracts
Deontic logic
Monitoring
Smart contracts
Blockchain
Computer circuits
Contracts
Crime
Monitoring
Semantics
Deontic
Deontic Logic
Interactive system
Real time monitoring
Semantic gap
Smart contracts
Real time systems
spellingShingle Blockchain
Contracts
Deontic logic
Monitoring
Smart contracts
Blockchain
Computer circuits
Contracts
Crime
Monitoring
Semantics
Deontic
Deontic Logic
Interactive system
Real time monitoring
Semantic gap
Smart contracts
Real time systems
Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Palmirani M.
On observing contracts: Deontic contracts meet smart contracts
topic_facet Blockchain
Contracts
Deontic logic
Monitoring
Smart contracts
Blockchain
Computer circuits
Contracts
Crime
Monitoring
Semantics
Deontic
Deontic Logic
Interactive system
Real time monitoring
Semantic gap
Smart contracts
Real time systems
description Smart contracts have been proposed as executable implementations enforcing real-life contracts. Unfortunately, the semantic gap between these allows for the smart contract to diverge from its intended deontic behaviour. In this paper we show how a deontic contract can be used for real-time monitoring of smart contracts specifically and request-based interactive systems in general, allowing for the identification of any violations. The deontic logic of actions we present takes into account the possibility of action failure (which we can observe in smart contracts), allowing us to consider novel monitorable semantics for deontic norms. For example, taking a rights-based view of permissions allows us to detect the violation of a permission when a permitted action is not allowed to succeed. A case study is presented showing this approach in action for Ethereum smart contracts. © 2018 The authors and IOS Press.
format SER
author Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Palmirani M.
author_facet Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Palmirani M.
author_sort Azzopardi, S.
title On observing contracts: Deontic contracts meet smart contracts
title_short On observing contracts: Deontic contracts meet smart contracts
title_full On observing contracts: Deontic contracts meet smart contracts
title_fullStr On observing contracts: Deontic contracts meet smart contracts
title_full_unstemmed On observing contracts: Deontic contracts meet smart contracts
title_sort on observing contracts: deontic contracts meet smart contracts
url http://hdl.handle.net/20.500.12110/paper_09226389_v313_n_p21_Azzopardi
work_keys_str_mv AT azzopardis onobservingcontractsdeonticcontractsmeetsmartcontracts
AT pacegj onobservingcontractsdeonticcontractsmeetsmartcontracts
AT schapachnikf onobservingcontractsdeonticcontractsmeetsmartcontracts
AT palmiranim onobservingcontractsdeonticcontractsmeetsmartcontracts
_version_ 1807314842309099520

Ejemplares similares