Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation