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 条
  • [31] Evaluation of Logic-Based Smart Contracts for Blockchain Systems
    Idelberger, Florian
    Governatori, Guido
    Riveret, Regis
    Sartor, Giovanni
    RULE TECHNOLOGIES: RESEARCH, TOOLS, AND APPLICATIONS, 2016, 9718 : 167 - 183
  • [32] 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):
  • [33] Blockchain Contract: Securing a Blockchain Applied to Smart Contracts
    Watanabe, Hiroki
    Fujimura, Shigeru
    Nakadaira, Atsushi
    Miyazaki, Yasuhiko
    Akutsu, Akihito
    Kishigami, Jay
    2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE), 2016,
  • [34] A Model Design Using Blockchain and Smart Contracts AgainstCyberattacks in Smart Home Systems
    Guler, Osman
    ACTA INFOLOGICA, 2024, 8 (01):
  • [35] A Unifying Model of Legal Smart Contracts
    Ladleif, Jan
    Weske, Mathias
    CONCEPTUAL MODELING, ER 2019, 2019, 11788 : 323 - 337
  • [36] SMART CONTRACTS AND THEIR RECOGNITION BY THE LEGAL SYSTEM
    Moreno Arvelo, Pamilys Milagros
    Gaspar Santos, Manaces Esaud
    Andrade Olvera, Gitta Antonella
    REVISTA UNIVERSIDAD Y SOCIEDAD, 2022, 14 : 322 - 329
  • [37] Smart contracts. Legal analysis
    Lopez Jimenez, David
    REVISTA BOLIVIANA DE DERECHO, 2019, (27) : 597 - 601
  • [38] Automating Procurement Contracts in the Healthcare Supply Chain Using Blockchain Smart Contracts
    Omar, Ilhaam A.
    Jayaraman, Raja
    Debe, Mazin S.
    Salah, Khaled
    Yaqoob, Ibrar
    Omar, Mohammed
    IEEE ACCESS, 2021, 9 : 37397 - 37409
  • [39] The Internet of Energy Systems: Blockchain and Smart Contracts meet Federated Learning
    Zekiye, Abdulrezzak
    Ozkasap, Oznur
    2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC, 2023,
  • [40] Towards Context-Aware Smart Contracts for Blockchain IoT Systems
    Ngwira, Lovemore
    Merlec, Mpyana Mwamba
    Lee, Youn Kyu
    In, Hoh Peter
    12TH INTERNATIONAL CONFERENCE ON ICT CONVERGENCE (ICTC 2021): BEYOND THE PANDEMIC ERA WITH ICT CONVERGENCE INNOVATION, 2021, : 82 - 87
12345