Goal and Policy Based Code Generation and Deployment of Smart Contracts

Abstract

The emergence of smart contracts in blockchain environments allows for a wide spectrum of transaction oriented trusted applications to be developed. The majority of smart contracts are implemented as scripts written in specialized machine interpretable languages such as Solidity. However recent efforts allow for more general purpose languages such as GoLang and JavaScript to be used. It is therefore evident, that smart contract applications will quickly become more complex, and an interesting question that arises is how we can ensure that the smart contract code achieves and complies with the required goals and policies set by the system's stakeholders. In this short paper we outline a model-based approach for the automatic generation and deployment of smart contract code by using extended goal models to capture the tasks and policies set by various stakeholders, and by applying a code generator to produce Solidity code that corresponds to the model.