Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example