From institutions to code: Towards automated generation of smart contracts

Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016

Volumn , Issue , 2016, Pages 210-215

  Frantz, Christopher K ^a   Nowostawski, Mariusz ^b  

^a OTAGO POLYTECHNIC   (New Zealand)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

Autonomy; Bitcoin; Blockchain; Code generation; Distributed autonomous institutions; Domain specific language; Ethereum; Institutional grammar; Institutions; Model driven development; Public ledger; Smart contracts; Solidity

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; MODELING LANGUAGES; PROBLEM ORIENTED LANGUAGES; SOCIETIES AND INSTITUTIONS;

AUTONOMY; BITCOIN; BLOCK-CHAIN; CODE GENERATION; DOMAIN SPECIFIC LANGUAGES; ETHEREUM; INSTITUTIONAL GRAMMAR; MODEL DRIVEN DEVELOPMENT; PUBLIC LEDGER; SOLIDITY;

PEER TO PEER NETWORKS;

EID: 85011029534     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FAS-W.2016.53     Document Type: Conference Paper

References (13)

1. Satoshi Nakamoto. Bitcoin: A peer-To-peer electronic cash system, 2008.
2. Ethereum Team. A Next-Generation Smart Contract and Decentralized Application Platform. https://github.com/ethereum/wiki/wiki/White-Paper. (known as 'Ethereum White Paper'), Accessed on: 1st May 2016.
3. Klint Finley. A $50 million hack just showed that the dao was all too human. http://www.wired.com/2016/06/50-million-hack-just-showeddao-human/, 2016. Accessed on: 1st June 2016.
4. Solidity. http://ethereum.github.io/solidity/Accessed on: 1st May 2016.
5. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Akşit and Satoshi Matsuoka, editors, ECOOP'97 - Object-Oriented Programming: 11th European Conference Jyvaskyla, Finland, June 9-13, 1997 Proceedings, pages 220-242, Berlin, 1997. Springer.
6. Elinor Ostrom. Governing the Commons: The Evolution of Institutions for Collective Action. Cambridge University Press, New York (NY), 1990.
7. Sue E.S. Crawford and Elinor Ostrom. A Grammar of Institutions. The American Political Science Review, 89(3):582-600, September 1995.
8. Saba Siddiki, Christopher M. Weible, Xavier Basurto, and John Calanni. Dissecting Policy Designs: An Application of the Institutional Grammar Tool. The Policy Studies Journal, 39(1):79-103, 2011.
9. A. Smajgl, L. Izquierdo, and M. G. A. Huigen. Rules, Knowledge and Complexity: How Agents Shape their Institutional Environment. Journal of Modelling and Simulation of Systems, 1(2):98-107, 2010.
10. C. Frantz, M. K. Purvis, M. Nowostawski, and B. T. R. Savarimuthu. nADICO: A Nested Grammar of Institutions. In G. Boella, E. Elkind, B. T. R. Savarimuthu, F. Dignum, and M. K. Purvis, editors, PRIMA 2013: Principles and Practice of Multi-Agent Systems, volume 8291 of Lecture Notes in Artificial Intelligence, pages 429-436, Berlin, 2013. Springer.
11. Ecole Polytechnique Federale de Lausanne (EPFL). The scala programming language. http://www.scala-lang.org/Accessed on: 1st May 2016.
12. Jeremy Pitt, Julia Schaumeier, and Alexander Artikis. Coordination, conventions and the self-organisation of sustainable institutions. In David Kinny, Jane Yung-jen Hsu, Guido Governatori, and Aditya K. Ghose, editors, Agents in Principle, Agents in Practice: 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16- 18, 2011. Proceedings, pages 202-217, Berlin, 2011. Springer.
13. Karen da Silva Figueiredo, Viviane Torres da Silva, and Christiano de Oliveira Braga. Modeling Norms in Multi-Agent Systems with NormML. In Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, and George Vouros, editors, Coordination, Organizations, Institutions, and Norms in Agent Systems VI, volume 6541 of Lecture Notes in Computer Science, pages 39-57. Springer, Berlin, 2011.