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 条
  • [21] Blockchain and Smart Contracts for Digital Copyright Protection
    Frattolillo, Franco
    FUTURE INTERNET, 2024, 16 (05)
  • [22] 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,
  • [23] 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,
  • [24] On and Off-Blockchain Enforcement of Smart Contracts
    Molina-Jimenez, Carlos
    Solaiman, Ellis
    Sfyrakis, Ioannis
    Ng, Irene
    Crowcroft, Jon
    EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, 2019, 11339 : 342 - 354
  • [25] Smart Contracts in Blockchain Technology: A Critical Review
    Taherdoost, Hamed
    INFORMATION, 2023, 14 (02)
  • [26] Recycling Smart Contracts: Compression of the Ethereum Blockchain
    Pontiveros, Beltran Borja Fiz
    Norvill, Robert
    State, Radu
    2018 9TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2018,
  • [27] IoT Applications Using Blockchain and Smart Contracts
    Roriz, Rui
    Pereira, Jose Luis
    DIGITAL SCIENCE, 2019, 850 : 426 - 434
  • [28] Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
    Grech, Neville
    Brent, Lexi
    Scholz, Bernhard
    Smaragdakis, Yannis
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019), 2019, : 1176 - 1186
  • [29] Blockchain and Smart Contracts and the Role of Arbitration
    Wiegandt, Dirk
    JOURNAL OF INTERNATIONAL ARBITRATION, 2022, 39 (05): : 671 - 690
  • [30] DevOps for Ethereum Blockchain Smart Contracts
    Woehrer, Maximilian
    Zdun, Uwe
    2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2021), 2021, : 244 - 251
12345