On legal contracts, imperative and declarative smart contracts, and blockchain systems
@article{Governatori2018OnLC, title={On legal contracts, imperative and declarative smart contracts, and blockchain systems}, author={Guido Governatori and Florian Idelberger and Zoran Milosevic and R{\'e}gis Riveret and Giovanni Sartor and Xiwei Xu}, journal={Artificial Intelligence and Law}, year={2018}, volume={26}, pages={377-409} }
Abstract
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…
127 Citations
Symboleo: Towards a Specification Language for Legal Contracts
- Computer Science, Law2020 IEEE 28th International Requirements Engineering Conference (RE)
- 2020
This paper proposes a formal specification language for contracts, called Symboleo, where contracts consist of collections of obligations and powers that define the legal contract’s compliant executions, to enable formally verifying contracts to detect requirements-level issues and to generate executable smart contracts (e.g., on blockchain technology).
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain
- Computer ScienceIEEE Internet Computing
- 2021
Hercule operationalizes declarative contracts over semistructured databases, the underlying representation for practical blockchain such as Hyperledger Fabric and Ethereum, and exploits the map-reduce capabilities of such stores to compute norm states.
A Survey of Smart Contract Formal Specification and Verification
- Computer ScienceACM Comput. Surv.
- 2020
This survey investigates formal models and specifications of smart contracts presented in the literature and presents a systematic overview in order to understand the common trends and identify gaps.
A Legal Interpretation of Choreography Models
- Computer Science, LawBusiness Process Management Workshops
- 2019
An approach at connecting existing models to Legal Ontologies (LOs) on the example of choreography models is explored, effectively interpreting them as legal contracts.
Smart Contract and Blockchain Based Contract Management System
- BusinessECBS
- 2021
This paper presents theoretical and practical research on the possibilities of applying smart contracts in the field of law and a contract management system which allows users to conclude contracts based on blockchain technology and an example of a smart allotment contract written using the Solidity programming language.
A Unifying Model of Legal Smart Contracts
- Computer Science, LawER
- 2019
A unifying model is given that encapsulates essential components of legal smart contracts in a model-driven architecture and may serve as a basis for comparing existing modeling frameworks, which is demonstrated by applying it to a set of eight distinct languages.
Smart Contracts: From Formal Specification to Blockchain Code
- Computer Science
- 2020
This thesis contributes a syntax and axiomatic semantics for Symboleo, with concepts rooted in a legal ontology, and supported by an editor, and provides an analysis of possible target smart contract programming languages.
Legally Enforceable Smart-Contract Languages
- Computer ScienceACM Comput. Surv.
- 2021
This study reviews existing Smart Contract Languages (SCL) and identifies properties that are critical to any future SCL for drafting legally binding contracts and finds 10 SCL properties that enable legally compliant DAOs.
Legal smart contracts in Ethereum Block chain: Linking the dots
- Computer Science, Law2020 IEEE 36th International Conference on Data Engineering Workshops (ICDEW)
- 2020
This paper addresses the problem of contract update by introducing a new versioning system that keeps track of the changes and links the different versions using a linked list, and proposes a system architecture where the user interface, the application logic and the blockchain are smoothly integrated in a manner that each part of the system contributes for producing a flexible and transparent execution.
Regulating Blockchain Smart Contracts with Agent-Based Markets
- Computer ScienceEPIA
- 2019
This paper presents an overview of the agreement pipeline, considering regulation-enabled systems and compares the implementation of auction agreements purely on the blockchain with a hybrid approach where markets are active agents that can ensure regulation outside the contractual phase and contract execution runs on blockchain.
References
SHOWING 1-10 OF 44 REFERENCES
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
- Computer ScienceRuleML
- 2016
A fundamental challenge is emphasized - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules.
Smart Contract Templates: essential requirements and design options
- Law, Computer ScienceArXiv
- 2016
The design landscape of potential formats for storage and transmission of smart legal agreements is explored, and essential requirements are identified and a number of key design options are described, from which future development of standardised formats for defining and manipulatingsmart legal agreements are envisaged.
Smart Contract Templates: foundations, design landscape and research directions
- Law, Computer ScienceArXiv
- 2016
A simple semantic framework for smart contracts is explored, covering both operational and non-operational aspects, and templates and agreements for legally-enforceable smart contracts are described, based on legal documents.
Validation and Verification of Smart Contracts: A Research Agenda
- Computer ScienceComputer
- 2017
The issues and research challenges involved in the validation and verification of smart contracts, particularly those running over blockchains and distributed ledgers, are explored.
A Formal Analysis of a Business Contract Language
- Computer ScienceInt. J. Cooperative Inf. Syst.
- 2006
The paper shows how this formalism for the representation of contrary-to-duty obligations can be mapped onto the key policy concepts of a contract specification language, called Business Contract Language (BCL), previously developed to express contract conditions for run time contract monitoring.
A declarative approach to business rules in contracts: courteous logic programs in XML
- Computer ScienceEC '99
- 1999
This work gives a new fundamental knowledge representation formalism: a generalized version of Courteous Logic Programs (CLP), which expressively extends declarative ordinary logic programs (OLP) to include prioritized conflict handling, thus enabling modularity in specifying and revising rule-sets.
Representing business contracts in RuleML
- Computer ScienceInt. J. Cooperative Inf. Syst.
- 2005
This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring in the setting of RuleML, and how to extend it to cover deontic and defeasible aspects of legal language.
Inter-enterprise contract architecture for open distributed systems: security requirements
- Computer ScienceProceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises
- 1996
The concept of binding is used to describe the interactions between the components of the contract architecture so that standard contract sequences can be stored in a public repository for future reuse.
Towards formal modeling of e-contracts
- Computer ScienceProceedings Fifth IEEE International Enterprise Distributed Object Computing Conference
- 2001
The paper presents the initial ideas for formal modeling of e-contracts, including specification of deontic constraints and verification ofDeontic consistency associated with roles in a contract, precise modeling of temporal constraints/estimates and verify of temporal consistency of an e- contract, and finally scheduling of the required actions.
Automatic Conflict Detection on Contracts
- Computer ScienceICTAC
- 2009
This paper presents a trace semantics of $\mathcal{CL}$ suitable for conflict analysis, and a decision procedure for detecting conflicts, and discusses its implementation and looks into the applications of the contract analysis approach.