[AGH-UST] Two-step process of generating logical specification based on a bpmn model.