Collaboration vs. choreography conformance in BPMN (Logical Methods in Computer Science, 2020)