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 条
  • [21] DevOps for Ethereum Blockchain Smart Contracts
    Woehrer, Maximilian
    Zdun, Uwe
    2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2021), 2021, : 244 - 251
  • [22] Blockchain and Smart Contracts and the Role of Arbitration
    Wiegandt, Dirk
    JOURNAL OF INTERNATIONAL ARBITRATION, 2022, 39 (05): : 671 - 690
  • [23] Analyzing Financial Smart Contracts for Blockchain
    Vinayak, Muskan
    Panesar, Har Amrit Pal Singh
    dos Santos, Saulo
    Thulasiram, Ruppa K.
    Thulasiraman, Parimala
    Appadoo, S. S.
    IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 1701 - 1706
  • [24] Smart Contracts: Automated Stipulations on Blockchain
    Mehta, Vruddhi
    More, Sakshi
    2018 INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND INFORMATICS (ICCCI), 2018,
  • [25] Blockchain and Smart Contracts for Voting in a University
    Diaconita, Vlad
    Stoica, Maria Georgiana
    EDUCATION, RESEARCH AND BUSINESS TECHNOLOGIES, 2023, 321 : 177 - 185
  • [26] Trustworthy Blockchain Oracles for Smart Contracts
    Lin, Iuon-Chang
    Kuo, Chun-Wei
    2021 INTERNATIONAL CONFERENCE ON SECURITY AND INFORMATION TECHNOLOGIES WITH AI, INTERNET COMPUTING AND BIG-DATA APPLICATIONS, 2023, 314 : 379 - 389
  • [27] Detection of Vulnerabilities of Blockchain Smart Contracts
    He, Daojing
    Wu, Rui
    Li, Xinji
    Chan, Sammy
    Guizani, Mohsen
    IEEE INTERNET OF THINGS JOURNAL, 2023, 10 (14) : 12178 - 12185
  • [28] Blockchain to Eliminate Intermediaries: Smart Contracts
    Al-Harrasi, Abir S.
    Al-Badi, Ali H.
    Khalique, Shaikh A.
    VISION 2025: EDUCATION EXCELLENCE AND MANAGEMENT OF INNOVATIONS THROUGH SUSTAINABLE ECONOMIC COMPETITIVE ADVANTAGE, 2019, : 3351 - 3357
  • [29] Reengineering the Audit with Blockchain and Smart Contracts
    Rozario, Andrea M.
    Thomas, Chanta
    JOURNAL OF EMERGING TECHNOLOGIES IN ACCOUNTING, 2019, 16 (01) : 21 - 35
  • [30] Smart Contracts with Blockchain in the Public Sector
    Triana Casallas, Jenny Alexandra
    Cueva Lovelle, Juan Manuel
    Rodriguez Molano, Jose Ignacio
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2020, 6 (03): : 63 - 72
12345