BPMN2GoalSpec: a tool for converting business process into goals
This is the content of the uploaded file
This is the result of the BPM2Goal transformation