In this paper we consider the composition problem of Web services. Our framework is based on the existence of an abstract composition, i.e, the way some services of different types can be combined together in order to ...