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

被引：0
作者：
Guido Governatori
Florian Idelberger
Zoran Milosevic
Regis Riveret
Giovanni Sartor
Xiwei Xu
机构：
[1] Data61,
[2] CSIRO,undefined
[3] European University Institute,undefined
[4] Deontik,undefined
[5] Data61,undefined
[6] CSIRO,undefined
来源：
Artificial Intelligence and Law | 2018年 / 26卷
关键词：
Legal contracts; Smart contracts; Blockchain;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：32
相关论文
共 38 条
[1]  
Berners-Lee T(2001)The semantic web Sci Am 284 34-43
[2]  
Hendler J(1997)The representation of legal contracts AI Soc 11 6-17
[3]  
Lassila O(2005)Using the event calculus for tracking the normative state of contracts Int J Cooper Inf Syst 14 99-129
[4]  
Daskalopulu A(2004)Normative autonomy and normative co-ordination: Declarative power, representation, and mandate Artif Intell Law 12 53-81
[5]  
Sergot MJ(2005)Representing business contracts in RuleML Int J Cooper Inf Syst 14 181-216
[6]  
Farell ADH(2006)A formal analysis of a business contract language Int J Cooper Inf Syst 15 659-685
[7]  
Sergot MJ(2009)DR-CONTRACT: an architecture for e-contracts in defeasible logic Int J Bus Process Integr Manag 5 187-199
[8]  
Salle M(1979)Algorithm = logic + control Commun ACM 22 424-436
[9]  
Bartolini C(2004)A unified behavioural model and a contract language for extended enterprise Data Knowl Eng 51 5-29
[10]  
Gelati J(2011)Runtime monitoring of contract regulated web services Fundam Inform 111 339-355
1234