Encoding Requests to Web Service Compositions as Constraints

Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the services, and making choices. We propose to encode the problem of issuing requests to a composition of web services as a constraint programming problem. In particular, we provide algorithms to encode nondeterministic web service business processes and user goals given in an expressive request language