Encoding Requests to Web Service Compositions as Constraints