A Framework for the Semantic Composition of Web Services Handling User Constraints