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 条
  • [41] Smart contracts for blockchain-based reputation systems: A systematic literature review
    Almasoud, Ahmed S.
    Hussain, Farookh Khadeer
    Hussain, Omar K.
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2020, 170
  • [42] An exploratory study of smart contracts in the Ethereum blockchain platform
    Gustavo A. Oliva
    Ahmed E. Hassan
    Zhen Ming (Jack) Jiang
    Empirical Software Engineering, 2020, 25 : 1864 - 1904
  • [43] An exploratory study of smart contracts in the Ethereum blockchain platform
    Oliva, Gustavo A.
    Hassan, Ahmed E.
    Jiang, Zhen Ming
    EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (03) : 1864 - 1904
  • [44] Survey of Formal Verification Methods for Smart Contracts on Blockchain
    Murray, Yvonne
    Anisi, David A.
    2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [45] Future Contracts: Smart Contracts
    Kashyap, Sistla
    Pathak, Pankaj
    CARDIOMETRY, 2022, (24): : 729 - 736
  • [46] The offer and acceptance regime in smart contracts embedded in the blockchain
    Rondon Rubiano, Jose Joaquin
    REVISTA E-MERCATORIA, 2022, 21 (01) : 73 - 95
  • [47] Certificate of incapacity based on Blockchain and Smart-Contracts
    Nuernberg, Volker
    Widmaier, Stephanie
    GESUNDHEITSOEKONOMIE UND QUALITAETSMANAGEMENT, 2020, 25 (03): : 157 - 162
  • [48] Future of the Internet of Things Emerging with Blockchain and Smart Contracts
    Hassan, Mir
    Chen Jincai
    Adnan Iftekhar
    Cui, Xiaohui
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2020, 11 (06) : 631 - 635
  • [49] Blockchain and Smart Contracts for Insurance: Is the Technology Mature Enough?
    Gatteschi, Valentina
    Lamberti, Fabrizio
    Demartini, Claudio
    Pranteda, Chiara
    Santamaria, Victor
    FUTURE INTERNET, 2018, 10 (02)
  • [50] HRM smart contracts on the blockchain: emulated vs native
    Neiheiser, Ray
    Inacio, Gustavo
    Rech, Luciana
    Fraga, Joni
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2020, 23 (03): : 2105 - 2122
12345