Blockchain technology has emerged as a solution to consistency problems in peer to peer networks. By now, it has matured as a solution to a range of use cases in which it can effectively provide the notion of third party trust without the need for a trusted (physical) third party, which makes it an attractive coordination mechanism for distributed systems. To promote the wide adoption of this technology, we yet lack mechanisms that make the specification and interpretation of smart contracts accessible to a broader audience. In this work, we propose a modeling approach that supports the semi-automated translation of human-readable contract representations into computational equivalents in order to enable the codification of laws into verifiable and enforceable computational structures that reside within a public blockchain. We identify smart contract components that correspond to real world institutions, and propose a mapping that we operationalize using a domain-specific language in order to support the contract modeling process. We explore this capability based on selected examples and plot out directions for future research on smart contracts.
[1]
G. Brady.
Governing the Commons: The Evolution of Institutions for Collective Action
,
1993
.
[2]
E. Ostrom,et al.
A Grammar of Institutions
,
1995,
American Political Science Review.
[3]
Cristina V. Lopes,et al.
Aspect-oriented programming
,
1999,
ECOOP Workshops.
[4]
Viviane Torres da Silva,et al.
Modeling Norms in Multi-agent Systems with NormML
,
2010,
COIN@AAMAS&MALLOW.
[5]
Saba Siddiki,et al.
Dissecting Policy Designs: An Application of the Institutional Grammar Tool
,
2010
.
[6]
Alexander Artikis,et al.
Coordination, Conventions and the Self-organisation of Sustainable Institutions
,
2011,
PRIMA.
[7]
Bastin Tony Roy Savarimuthu,et al.
nADICO: A Nested Grammar of Institutions
,
2013,
PRIMA.
[8]
Vitalik Buterin.
A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM
,
2015
.