Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling

Abstract

The power and correctness of smart contracts have been the focus of much research. We propose a new approach for developing smart contracts that uses multimodal modeling to represent the application logic for the trade domain. We use discrete events modeling for concurrency combined with FSM modeling to use concurrent FSMs to not only simplify the design process for the modeler, but also to scale the application running on a blockchain and facilitate identifying parts of a smart program that are suitable for off-chain processing on a sidechain that also provides privacy. In addition, we achieve separation of concerns between (a) application logic and (b) its transformation into a smart contract and deployment on a blockchain with processing of selected patterns on private sidechains. We transform the model into a smart contract automatically, such that patterns, selected by the modeler, are deployed on a sidechain. The interface for the mainchain to sidechain interaction is also prepared and deployed automatically.