An Analysis Tool for Execution of BPEL Services. - Ariane Gravel; Xiang Fu 001; Jianwen Su (CEC/EEE, 2007)