A QoS-Aware BPEL Framework for Service Selection and Composition Using QoS Properties