Transforming business processes in BPEL with objectiF