Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling

【Author】 Liu, Christian Gang; Bodorik, Peter; Jutla, Dawn

【Source】JOURNAL OF ADVANCES IN INFORMATION TECHNOLOGY

【影响因子】

【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 multi-modal 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.

【Keywords】blockchain; smart contract; off-chain computation; FSM modeling; hierarchical state machine; discrete events modeling; multi-modal modeling

【发表时间】2022 JUN

【收录时间】2022-11-30

【文献类型】理论模型

【主题类别】

区块链技术-核心技术-智能合约