A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment

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 bec...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on industrial informatics 2021-11, Vol.17 (11), p.7752-7759
Main Authors: Amato, Flora, Cozzolino, Giovanni, Moscato, Francesco, Moscato, Vincenzo, Xhafa, Fatos
Format: Article
Language:English
Subjects:
Analytical models
Automation
Automobiles
Blockchain
Compliance
Contractors
Contracts
Cryptography
Electronic devices
Industrial applications
industry 4.0
Insurance
Internet of Things
Internet of Things (IoT)
Law
Legislation
Multiagent systems
Smart contracts
Software agents
Unified modeling language
Verification
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1551-3203
1941-0050
DOI:10.1109/TII.2021.3057595