Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini; Giusy Di Lorenzo; Paola Mosca; Massimo Magaldi (HPCC, 2005)