ChoEn: A Smart Contract Based Choreography Enforcer

This work deals with the automatic generation of smart contracts to enforce compliance to a given BPMN choreography of requests sent by a set of independent actors. The choice of smart contracts is justified by the desire not to centralize the enforcement process when there are multiple independent actors characterized by low mutual trust. The choice of BPMN choreographies as an alternative to BPMN processes and collaborations is instead justified by the desire to leave the actors free to dynamically organize their internal processes in the way they prefer, provided that the interactions with the other actors respect some agreed protocol. This work proposes a formal framework to interpret choreographies and translate them onto smart contract enforcers. The framework has been implemented on a free open-source tool named ChoEn and tested by means of a running example