QoS Aware Semantic Web Service Composition Approach Considering Pre/Postconditions | IEEE Conference Publication | IEEE Xplore