The Intelligible Contract

This paper introduces a novel model of legal digital contracts automatically executable on Blockchain technologies. Legally enforceable and automatically executable digital contracts are receiving a renewed interest, mostly due to the increasing attention towards Blockchain technologies. However, current implementations of digital contracts are still far from being intelligible to humans, because of their differences with traditional written contracts. The main purpose of this paper is to provide a contribution in bridging the gap between traditional contracts and digital contracts towards the goal of making them intelligible and legal valid. Firstly, after highlighting the shortcomings in current technologies when used for legal digital contracts, the paper introduces a new generic specification for legal digital contracts, namely the Intelligible Contract. Secondly, we describe our implementation of Intelligible Contracts and, as a proof of feasibility, we model a simple scenario by means of our implementation. The paper concludes with some ideas for future research on Intelligible Contracts.

[1]  Monica Palmirani.  Legislative Change Management with Akoma-Ntoso , 2011 .

[2]  Helena Haapio,et al.  Wise Contracts: Smart Contracts that Work for People and Machines , 2017 .

[3]  Christopher D. Clack,et al.  Smart Contract Templates: essential requirements and design options , 2016, ArXiv.

[4]  Dmitry Efanov,et al.  The All-Pervasiveness of the Blockchain Technology , 2017, BICA.

[5]  Guido Governatori,et al.  OASIS LegalRuleML , 2013, ICAIL.

[6]  Satoshi Nakamoto.  Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .

[7]  Guido Governatori,et al.  Evaluating LegalDocML and LegalRuleML as a Standard for Sharing Normative Information in the AEC/FM Domain , 2017 .

[8]  Christopher D. Clack,et al.  Smart Contract Templates: foundations, design landscape and research directions , 2016, ArXiv.

[9]  Fabio Vitali,et al.  Swiss Federal Publication Workflow with Akoma Ntoso , 2014, JURIX.

[10]  Monica Palmirani,et al.  RAWE: An Editor for Rule Markup of Legal Texts , 2013, RuleML.

[11]  Nakamura Makoto,et al.  Applying the Akoma Ntoso XML schema to Japanese legislation , 2016 .

[12]  Marko Vukolić,et al.  Rethinking Permissioned Blockchains , 2017 .

[13]  I. Grigg.  The Ricardian contract , 2004, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004..

[14]  Fabio Vitali,et al.  UNDO: The United Nations System Document Ontology , 2017, International Semantic Web Conference.

[15]  Guido Governatori,et al.  Legal Interpretations in LegalRuleML , 2014, SW4LAW+DC@JURIX.

[16]  Melanie Swan,et al.  Blockchain: Blueprint for a New Economy , 2015 .

[17]  Michele Finck,et al.  Blockchain Regulation and Governance in Europe , 2018 .

[18]  Christian Cachin,et al.  Architecture of the Hyperledger Blockchain Fabric , 2016 .

[19]  Max Raskin,et al.  THE LAW AND LEGALITY OF SMART CONTRACTS , 2017 .

[20]  Luca Cervone.  Digital Technologies for Deliberative Democracies: Models and Applications for Continuous Civic Engagement , 2017 .

[21]  Livio Robaldo,et al.  Legal Ontology for Modelling GDPR Concepts and Norms , 2018, JURIX.

[22]  Reginald T. O'Shields.  Smart Contracts: Legal Agreements for the Blockchain , 2017 .

[23]  Fabio Vitali,et al.  Akoma-Ntoso for Legal Documents , 2011 .

[24]  Cesare Pautasso,et al.  A Taxonomy of Blockchain-Based Systems for Architecture Design , 2017, 2017 IEEE International Conference on Software Architecture (ICSA).

[25]  Hemang Subramanian,et al.  Decentralized blockchain-based electronic marketplaces , 2017, Commun. ACM.

[26]  Guido Governatori,et al.  LegalRuleML: XML-Based Rules and Norms , 2011, RuleML America.

[27]  Barbara Tillett,et al.  What is FRBR? A conceptual model for the bibliographic universe , 2005 .

[28]  Marcello Ceci,et al.  Trust in Smart Contracts is a Process, As Well , 2017, Financial Cryptography Workshops.