On legal contracts, imperative and declarative smart contracts, and blockchain systems

被引：126

作者：

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

共 47 条

[41]

Staples M, 2017, Data61

[42]

Szabo N., 1997, The idea of smart contracts, V6, P199

[43]

Tara Athan, 2015, WEB LOGIC RULES, P151

[44] Untrusted Business Process Monitoring and Execution Using Blockchain [J].

Weber, Ingo ;

Xu, Xiwei ;

Riveret, Regis ;

Governatori, Guido ;

Ponomarev, Alexander ;

Mendling, Jan .

BUSINESS PROCESS MANAGEMENT, BPM 2016, 2016, 9850 :329-347

[45]

Wood G., 2014, ETHEREUM PROJECT YEL, V151, P1, DOI DOI 10.1017/CBO9781107415324.004

[46]

Wright A, 2015, SSRN SCHOLARLY PAPER

[47] A Taxonomy of Blockchain-Based Systems for Architecture Design [J].

Xu, Xiwei ;

Weber, Ingo ;

Staples, Mark ;

Zhu, Liming ;

Bosch, Jan ;

Bass, Len ;

Pautasso, Cesare ;

Rimba, Paul .

2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2017), 2017, :243-252

← 1 2 3 4 5 →