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

被引：117
|
作者：
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 条
  • [31] Contracts ex machina: brief notes about the introductions of Blockchain technology and Smart Contracts
    Gomes, Delber Pinto
    RED-REVISTA ELECTRONICA DE DIREITO, 2018, 17 (03): : 39 - 55
  • [32] Smart Contracts: Automated Stipulations on Blockchain
    Mehta, Vruddhi
    More, Sakshi
    2018 INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND INFORMATICS (ICCCI), 2018,
  • [33] Detection of Vulnerabilities of Blockchain Smart Contracts
    He, Daojing
    Wu, Rui
    Li, Xinji
    Chan, Sammy
    Guizani, Mohsen
    IEEE INTERNET OF THINGS JOURNAL, 2023, 10 (14) : 12178 - 12185
  • [34] Smart Contracts with Blockchain in the Public Sector
    Triana Casallas, Jenny Alexandra
    Cueva Lovelle, Juan Manuel
    Rodriguez Molano, Jose Ignacio
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2020, 6 (03): : 63 - 72
  • [35] Trustworthy Blockchain Oracles for Smart Contracts
    Lin, Iuon-Chang
    Kuo, Chun-Wei
    2021 INTERNATIONAL CONFERENCE ON SECURITY AND INFORMATION TECHNOLOGIES WITH AI, INTERNET COMPUTING AND BIG-DATA APPLICATIONS, 2023, 314 : 379 - 389
  • [36] Digital assets rights management through smart legal contracts and smart contracts
    Ferro, Enrico
    Saltarella, Marco
    Rotondi, Domenico
    Giovanelli, Marco
    Corrias, Giacomo
    Moncada, Roberto
    Cavallaro, Andrea
    Favenza, Alfredo
    BLOCKCHAIN-RESEARCH AND APPLICATIONS, 2023, 4 (03):
  • [37] Applying blockchain technology in smart contracts for construction payment: a comprehensive solution for lumpsum contracts
    Pham V.H.S.
    Vo T.T.
    Dang N.T.N.
    Asian Journal of Civil Engineering, 2024, 25 (4) : 3549 - 3564
  • [38] Smart contracts as techno-legal regulation
    Hunn P.G.L.
    Journal of ICT Standardization, 2019, 7 (03): : 269 - 286
  • [39] Smart contracts - the new form of the legal agreements
    Ene, Charlotte
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BUSINESS EXCELLENCE, 2020, 14 (01): : 1206 - 1210
  • [40] THE LEGAL REGIME OF SMART CONTRACTS IN PUBLIC PROCUREMENT
    Sava, Nadia-Ariadna
    Dragos, Dacian
    TRANSYLVANIAN REVIEW OF ADMINISTRATIVE SCIENCES, 2022, (66E) : 99 - 112
12345