Smart Contract Generation Supporting Multi-instance for Inter-Organizational Process Collaboration

Blockchain can help to maintain trusted Inter-Organizational Process Collaboration (IOPC) among parties or organizations. The key to such studies is to translate the IOPC models into smart contracts, the executable programs in the blockchain. There are some smart contract generation solutions for IOPC. However, most of them don’t support multi-instance, which is an important feature of IOPC. The proposed method is designed to fill the research gap. One core of our method is that it sums up multi-instance elements of BPMN collaboration diagram and use Communicating Sequential Programs (CSP#) to formalize them. This formalization focuses on interactions, helps to get precise process execution semantics and makes model verification feasible, avoiding flawed models being translated. The other core is a translation technique based on syntax trees to generate smart contracts from CSP# models. The method is implemented and evaluated in terms of features and cost.