From business transactions to business process work flows: Using DEMO and BPMN