ChorChain: A model-driven framework for choreography-based systems using blockchain

The complexity in the development of distributed systems has increased the necessity to consider new model-driven methodologies for their implementation. This complexity is higher when combined with the lack of a trusted execution environment necessary to guarantee the correct behaviour of all the involved participants. In such context, the BPMN standard, in particular the choreography diagram, is one of the advocated modelling languages able to represent the interactions that should occur among distributed components. This modelling language, combined with the immutable and trusted nature of the blockchain technology, provides a promising solution to master complexity in developing and executing trusted distributed systems. This paper describes a model-driven methodology based on blockchain technology and the related framework named ChorChain. Starting from a BPMN choreography model, ChorChain generates the corresponding smart contract and the respective infrastructure for the choreography execution. To show the ChorChain feasibility, we have been tested it on a Room Booking scenario.