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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.