In the Semantic Web Services area, completing a complex request means calling many Web Services. They are characterized by their heterogeneity since they are build independently from the context in which they will be used. To compose them, we need to consider annotation and meta-data which will allow their characterization. The goal of this paper is to propose the execution of a formal model, allowing the automated processing of the composition of many Semantic Web Services. We define a request as a sequence of different Web Services with the help of a formal logic. We define the paths allowing its concrete resolution. Thanks to an abstraction of the Services whether they are viewed as physical, local or global, we propose an automation of the building of the request resolution map.