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 条
  • [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] From smart legal contracts to contracts on blockchain: An empirical investigation
    Bassan, Fabio
    Rabitti, Maddalena
    COMPUTER LAW & SECURITY REVIEW, 2024, 55
  • [3] Legal Engineering on the Blockchain: 'Smart Contracts' as Legal Conduct
    Goldenfein, Jake
    Leiter, Andrea
    LAW AND CRITIQUE, 2018, 29 (02) : 141 - 149
  • [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] Intelligent contracts: Making smart contracts smart for blockchain intelligence
    Ouyang, Liwei
    Zhang, Wenwen
    Wang, Fei-Yue
    COMPUTERS & ELECTRICAL ENGINEERING, 2022, 104
  • [6] 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
  • [7] Blockchain and Smart Contracts. Approach to their Legal Problems and Challenges
    Padilla Sanchez, Jorge Alberto
    REVISTA DE DERECHO PRIVADO, 2020, (39) : 175 - 201
  • [8] HRM Smart Contracts on the Blockchain
    Neiheiser, Ray
    Inacio, Gustavo
    Rech, Luciana
    Fraga, Joni
    2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 194 - 199
  • [9] Blockchain and Smart Contracts
    Abdelhamid, Manar
    Hassan, Ghada
    PROCEEDINGS OF 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND INFORMATION ENGINEERING (ICSIE 2019), 2019, : 91 - 95
  • [10] Legal Aspects and Emerging Risks in the Use of Smart Contracts Based on Blockchain
    Mezquita, Yeray
    Valdeolmillos, Diego
    Gonzalez-Briones, Alfonso
    Prieto, Javier
    Manuel Corchado, Juan
    KNOWLEDGE MANAGEMENT IN ORGANIZATIONS, KMO 2019, 2019, 1027 : 525 - 535
12345