A methodology for the semantic and structural restructuring of BPMN models · Study