From collaboration models to BPEL processes through service models