1. Introduction
Distributed informative systems are characterised by interacting components that agree on communication patterns. The OMG standard BPMN 2.0 [1] (in the following just BPMN) is more and more adopted by academia and industry as modelling language for these systems. This is mainly due to its graphical notation and capability of describing systems at different perspectives. In particular, a BPMN collaboration diagram describes the implementation of each single component, possibly deployed and managed by different organizations, in terms of exchanged messages and internal behaviour, while a BPMN choreography diagram provides a global specification focusing on component interactions.