Context Verification and Adaptation in Web Service Composition