From BPMN process models to DMN decision models · Study