Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice