DEMO Models Based Automatic Smart Contract Generation: A Case in Logistics Using Hyperledger

Abstract

This article presents a practical research project aimed at developing a method for automatically generating smart contracts from business models. The project has as a context the logistics in- dustry and uses Hyperledger Fabric as the blockchain (BC) platform. The main contributions are a mapping from DEMO (Design and Engineering Methodology for Organizations) language to Hyperledger Chaincode using GO language, as well as an evolution of DEMO’s Action Model Grammar, that enable specification of elements necessary for automatic SC generation. The proposed approach extends the DEMO methodology so that it includes an SC concern, enabling the generation of reusable action rule specifications and other elements necessary for SC genera- tion. Our research contributes to combining the strengths of the DEMO methodology and smart contracts. The design and implementation considerations of this approach are discussed in de- tail, and the results can be applied in future business cases requiring enterprise interoperability supported by distributed ledger technology.