A formal model for automated processing of Web Services

In the process of extracting knowledges, an important step is to complete request which need to extract information. In the context of Web Services, completing a complex request means calling many Web Services. They are characterized by their heterogeneity since they are built independently from the context of their use. 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 representation of a request seen as the automated processing of a composition of many Semantic Composite Web Services. We define a request as a sequence of different Web Services with the help of a formal logic. Thus we define the paths allowing its resolution. Thanks to the formal model we define, we propose an automation of the constitution of a resolution map of the request at the physical level.