dc.contributor
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor
Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing
dc.contributor.author
Amato, Flora
dc.contributor.author
Cozzolino, Giovanni
dc.contributor.author
Moscato, Francesco
dc.contributor.author
Moscato, Vincenzo
dc.contributor.author
Xhafa Xhafa, Fatos
dc.identifier
Amato, F. [et al.]. A model for verification and validation of law compliance of smart contracts in IoT environment. "IEEE transactions on industrial informatics", Novembre 2021, vol. 17, núm. 11, p. 7752-7759.
dc.identifier
https://hdl.handle.net/2117/351078
dc.identifier
10.1109/TII.2021.3057595
dc.description.abstract
© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works
dc.description.abstract
The interest of Industry 4.0 in smart contracts and blockchain technologies is growing up day by day. Smart contracts have enabled new kinds of interactions whereby contractors can even fully automate processes they agree on. This technology is really appealing in Internet of Things (IoT) domain because smart devices generate events for software agents involved in a smart contract execution, making full automation possible. However, smart contracts have to comply with national and international laws and accountability of participant's actions. Soundness of a smart contract has to be verified in terms of law compliance. Here, we propose a model for verification and validation of law compliance of smart contracts in IoT environments. The main goal of this article is to propose a formal model (based on multiagent logic and ontological description of contracts) for validating law compliance of smart contracts and to determine potential responsibilities of failures
dc.description.abstract
Peer Reviewed
dc.description.abstract
Postprint (author's final draft)
dc.format
application/pdf
dc.relation
https://ieeexplore.ieee.org/document/9349177
dc.relation
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-111100RB-C21/ES/ALGORITMOS AGILES, INTERNET DE LAS COSAS, Y ANALITICA DE DATOS PARA UN TRANSPORTE SOSTENIBLE EN CIUDADES INTELIGENTES/
dc.subject
Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Telemàtica i xarxes d'ordinadors::Internet
dc.subject
Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
dc.subject
Blockchains (Databases)
dc.subject
Internet of things
dc.subject
Technological innovations
dc.subject
Blockchain: Industry 4.0
dc.subject
Internet of Things (IoT)
dc.subject
Multiagent systems
dc.subject
Smart contracts
dc.subject
Cadena de blocs (Bases de dades)
dc.subject
Internet de les coses
dc.subject
Innovacions tecnològiques
dc.title
A model for verification and validation of law compliance of smart contracts in IoT environment
