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 条
  • [1] On legal contracts, imperative and declarative smart contracts, and blockchain systems
    Guido Governatori
    Florian Idelberger
    Zoran Milosevic
    Regis Riveret
    Giovanni Sartor
    Xiwei Xu
    Artificial Intelligence and Law, 2018, 26 : 377 - 409
  • [2] Smart legal contracts and blockchain
    Jimenez, David Lopez
    REVISTA BOLIVIANA DE DERECHO, 2022, (33) : 873 - 877
  • [3] From smart legal contracts to contracts on blockchain: An empirical investigation
    Bassan, Fabio
    Rabitti, Maddalena
    COMPUTER LAW & SECURITY REVIEW, 2024, 55
  • [4] Declarative Smart Contracts
    Chen, Haoxian
    Whitters, Gerald
    Amiri, Mohammad Javad
    Wang, Yuepeng
    Loo, Boon Thau
    PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 281 - 293
  • [5] Legal Engineering on the Blockchain: 'Smart Contracts' as Legal Conduct
    Goldenfein, Jake
    Leiter, Andrea
    LAW AND CRITIQUE, 2018, 29 (02) : 141 - 149
  • [6] From Legal Agreements to Blockchain Smart Contracts
    Rahman, Ravi
    Liu, Kevin
    Kagal, Lalana
    2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (IEEE ICBC), 2020,
  • [7] Blockchain and Smart Contracts
    Abdelhamid, Manar
    Hassan, Ghada
    PROCEEDINGS OF 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND INFORMATION ENGINEERING (ICSIE 2019), 2019, : 91 - 95
  • [8] Intelligent contracts: Making smart contracts smart for blockchain intelligence
    Ouyang, Liwei
    Zhang, Wenwen
    Wang, Fei-Yue
    COMPUTERS & ELECTRICAL ENGINEERING, 2022, 104
  • [9] Blockchain and Smart Contracts. Approach to their Legal Problems and Challenges
    Padilla Sanchez, Jorge Alberto
    REVISTA DE DERECHO PRIVADO, 2020, (39) : 175 - 201
  • [10] The Need for Legal Regulation of Blockchain and Smart Contracts in the Shipping Industry
    Perkusic, Marko
    Jozipovic, Sime
    Piplica, Damir
    TRANSACTIONS ON MARITIME SCIENCE-TOMS, 2020, 9 (02): : 365 - 373
12345