1. Transforming BPMN 2.0 business process model into SBVR business vocabulary and rules