Compatibility Analysis and Mediation-Aided Composition for BPEL Services