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

Detalles Bibliográficos
Publicado: 2018
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:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v313_n_p21_Azzopardi
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 paper:paper_09226389_v313_n_p21_Azzopardi
record_format dspace
spelling paper:paper_09226389_v313_n_p21_Azzopardi2023-06-08T15:50:55Z On observing contracts: Deontic contracts meet smart contracts 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. 2018 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v313_n_p21_Azzopardi 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
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.
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
publishDate 2018
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v313_n_p21_Azzopardi
http://hdl.handle.net/20.500.12110/paper_09226389_v313_n_p21_Azzopardi
_version_ 1768543569133436928

Ejemplares similares