Generating BPEL from BPMN diagrams