On legal contracts, imperative and declarative smart contracts, and blockchain systems

被引：118
|
作者：
Governatori, Guido [1 ]
Idelberger, Florian [2 ]
Milosevic, Zoran [3 ]
Riveret, Regis [1 ]
Sartor, Giovanni [2 ]
Xu, Xiwei [4 ]
机构：
[1] CSIRO, Data61, Brisbane, Qld, Australia
[2] European Univ Inst, Florence, Italy
[3] Deontik, Brisbane, Qld, Australia
[4] CSIRO, Data61, Sydney, NSW, Australia
来源：
ARTIFICIAL INTELLIGENCE AND LAW | 2018年 / 26卷 / 04期
关键词：
Legal contracts; Smart contracts; Blockchain; LOGIC; WEB;
D O I：
10.1007/s10506-018-9223-3
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper provides an analysis of how concepts pertinent to legal contracts can influence certain aspects of their digital implementation through smart contracts, as inspired by recent developments in distributed ledger technology. We discuss how properties of imperative and declarative languages including the underlying architectures to support contract management and lifecycle apply to various aspects of legal contracts. We then address these properties in the context of several blockchain architectures. While imperative languages are commonly used to implement smart contracts, we find that declarative languages provide more natural ways to deal with certain aspects of legal contracts and their automated management.
引用
收藏
页码：377 / 409
页数：33
相关论文
共 50 条
  • [41] The Intersection of Radiology With Blockchain and Smart Contracts: A Perspective
    Ghorashi, Nima S.
    Rahimi, Murwarit
    Sirous, Reza
    Javan, Ramin
    CUREUS JOURNAL OF MEDICAL SCIENCE, 2023, 15 (10)
  • [42] A Survey on Security Verification of Blockchain Smart Contracts
    Liu, Jing
    Liu, Zhentian
    IEEE ACCESS, 2019, 7 : 77894 - 77904
  • [43] Blockchain and Smart Contracts in a Decentralized Health Infrastructure
    Noyikoy, Sergey P.
    Kazakov, Oleg D.
    Kulagina, Natalya A.
    Azarenko, Natalya Yu.
    2018 IEEE INTERNATIONAL CONFERENCE QUALITY MANAGEMENT, TRANSPORT AND INFORMATION SECURITY, INFORMATION TECHNOLOGIES (IT&QM&IS), 2018, : 697 - 703
  • [44] Smart Contracts Contracts
    Bartoletti, Massimo
    FRONTIERS IN BLOCKCHAIN, 2020, 3
  • [45] Analysis of Blockchain Smart Contracts: Techniques and Insights
    Kim, Shinhae
    Ryu, Sukyoung
    2020 IEEE SECURE DEVELOPMENT (SECDEV 2020), 2020, : 65 - 73
  • [46] Blockchain and Smart Contracts for Digital Copyright Protection
    Frattolillo, Franco
    FUTURE INTERNET, 2024, 16 (05)
  • [47] Towards Cross-Blockchain Smart Contracts
    Nissl, Markus
    Sallinger, Emanuel
    Schulte, Stefan
    Borkowski, Michael
    2021 THIRD IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPS 2021), 2021,
  • [48] Smart Contracts based on Blockchain for Logistics Management
    Alvarez-Diaz, Nestor
    Herrera-Joancomarti, Jordi
    Caballero-Gil, Pino
    PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON INTERNET OF THINGS AND MACHINE LEARNING (IML'17), 2017,
  • [49] Life Cycle of Smart Contracts in Blockchain Ecosystems
    Christian Sillaber
    Bernhard Waltl
    Datenschutz und Datensicherheit - DuD, 2017, 41 (8) : 497 - 500
  • [50] Implementing a Microservices System with Blockchain Smart Contracts
    Tonelli, Roberto
    Lunesu, Maria Ilaria
    Pinna, Andrea
    Taibi, Davide
    Marchesi, Michele
    2019 IEEE 2ND INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2019, : 22 - 31
12345