Abstract:
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.
Registro:
Documento: |
Artículo
|
Título: | On observing contracts: Deontic contracts meet smart contracts |
Autor: | Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Palmirani M. |
Filiación: | Department of Computer Science, University of Malta, Msida, Malta Centre for Distributed Ledger Technologies, University of Malta, Msida, Malta Universidad de Buenos Aires, Facultad de Ciencias Exactas y Naturales, Departamento de Computación, ICC UBA-CONICET, Buenos Aires, Argentina
|
Palabras clave: | 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 |
Año: | 2018
|
Volumen: | 313
|
Página de inicio: | 21
|
Página de fin: | 30
|
DOI: |
http://dx.doi.org/10.3233/978-1-61499-935-5-21 |
Título revista: | 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018
|
Título revista abreviado: | Front. Artif. Intell. Appl.
|
ISSN: | 09226389
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v313_n_p21_Azzopardi |
Referencias:
- Azzopardi, S., Ellul, J., Gordon, J., Pace. Monitoring smart contracts: CONTRACTLARVA and open challenges beyond (2018) The 18th International Conference on Runtime Verification
- Azzopardi, S., Pace, G.J., Schapachnik, F., Schneider, G., Contract automata - An operational view of contracts between interactive parties (2016) Artif. Intell. Law, 24 (3), pp. 203-243
- Jan, M., Broersen. Modeling attempt and action failure in probabilistic STIT logic (2011) IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011, pp. 792-797. , Toby Walsh, editor, Barcelona, Spain. IJCAI/AAAI
- Cambronero, M., Llana, L., Pace, G.J., A calculus supporting contract reasoning and monitoring (2017) IEEE Access, 5, pp. 6735-6745
- Ellul, J., Gordon, J., Pace. Runtime verification of ethereum smart contracts (2018) Proceedings of the First International Workshop on Blockchain Dependability
- (2018) Solidity v0.4.24 Language Documentation., , https://solidity.readthedocs.io/en/v0.4.24/, Ethereum. [Online; accessed 09-September-2008]
- Fenech, S., Pace, G.J., Schneider, G., Clan: A tool for contract analysis and conflict discovery (2009) Lecture Notes in Computer Science, 5799, pp. 90-96. , Zhiming Liu and Anders P. Ravn, editors, ATVA, Springer
- Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A., A defeasible logic for modelling policy-based intentions and motivational attitudes (2009) Logic Journal of the IGPL, 17 (3)
- Idelberger, F., Governatori, G., Riveret, R., Sartor, G., Evaluation of logic-based smart contracts for blockchain systems (2016) Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, NY, USA, 2016. Proceedings, pp. 167-183
- Lorini, E., Herzig, A., A logic of intention and attempt (2008) Synthese, 163 (1), pp. 45-77
- Magazzeni, D., McBurney, P., Nash, W., Validation and verification of smart contracts: A research agenda (2017) IEEE Computer, 50 (9), pp. 50-57
- Modgil, S., Oren, N., Faci, N., Meneguzzi, F., Miles, S., Luck, M., Monitoring compliance with e-contracts and norms (2015) Artif. Intell. Law, 23 (2), pp. 161-196
- Pace, G.J., Ellul, J., Colombo, C., Contracts over smart contracts: Recovering from violations dynamically (2018) 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
- Prisacariu, C., Schneider, G., A formal language for electronic contracts (2007) Lecture Notes in Computer Science, 4468, pp. 174-189. , FMOODS, Springer
- Wasim Sadiq, S., Governatori, G., Namiri, K., Modeling control objectives for business process compliance (2007) Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, pp. 149-164
- Schroeder, S., The concept of trying (2001) Philosophical Investigations, 24 (3), pp. 213-227
- Sellars, W., (1968) Science and Metaphysics: Variations on Kantian Themes.
- Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev, A., Mendling, J., Untrusted business process monitoring and execution using blockchain (2016) Business Process Management - 14th International Conference, (BPM) 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings, pp. 329-347
- Wood, G., Ethereum: A secure decentralised generalised transaction ledger (2014) Ethereum Project Yellow Paper, 151, pp. 1-32
Citas:
---------- APA ----------
Azzopardi, S., Pace, G.J., Schapachnik, F. & Palmirani M.
(2018)
. On observing contracts: Deontic contracts meet smart contracts. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018, 313, 21-30.
http://dx.doi.org/10.3233/978-1-61499-935-5-21---------- CHICAGO ----------
Azzopardi, S., Pace, G.J., Schapachnik, F., Palmirani M.
"On observing contracts: Deontic contracts meet smart contracts"
. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018 313
(2018) : 21-30.
http://dx.doi.org/10.3233/978-1-61499-935-5-21---------- MLA ----------
Azzopardi, S., Pace, G.J., Schapachnik, F., Palmirani M.
"On observing contracts: Deontic contracts meet smart contracts"
. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018, vol. 313, 2018, pp. 21-30.
http://dx.doi.org/10.3233/978-1-61499-935-5-21---------- VANCOUVER ----------
Azzopardi, S., Pace, G.J., Schapachnik, F., Palmirani M. On observing contracts: Deontic contracts meet smart contracts. Front. Artif. Intell. Appl. 2018;313:21-30.
http://dx.doi.org/10.3233/978-1-61499-935-5-21