Etude des interactions temporisées dans la composition de services Web

La thèse rapportée dans ce manuscrit étudie l'impact de ces propriétés dans la composition de services Web. La considération de telles propriétés soulève plusieurs problèmes auxquels on a essayé d'apporter une solution. Le premier aspect consiste à définir un modèle qui tienne compte des abstractions nécessaires afin de pouvoir analyser et synthétiser une composition, à savoir les messages, les données, les contraintes de données, les propriétés temporelles et l'aspect asynchrone des communications des services. En se basant sur ce modèle, le deuxième problème consiste à proposer une approche d'analyse de compatibilité. Cette analyse vise à caractériser la compatibilité ou la non-compatibilité des services Web et ce en prenant en considération les abstractions précédemment citées. Nous étudions particulièrement l'impact des propriétés temporelles dans une chorégraphie dans laquelle les services Web supportent des communications asynchrones. Nous proposons une démarche basée sur le model checking qui permet de détecter les éventuels conflits temporisés qui peuvent surgir dans une chorégraphie. Finalement, le dernier problème auquel nous nous intéressons est celui de la construction d'une composition qui essaie de répondre au besoin du client et ce en prenant en compte les aspects temporels. L'approche que l'on propose est basée sur la génération d'un médiateur pour essayer, quand c'est possible, de contourner les incompatibilités temporisées et non-temporisées qui peuvent surgir lors d'une collaboration. Des mécanismes et des algorithmes ont été développés afin de mettre en oeuvre ces objectifsWeb services are based on standrards and Web technologies to interact by exchanging messages. Apart from the sequences of messages, other factors affect the interoperability of Web services, such as temporal constraints that specify the required delay to exchange messages. This thesis studies the impact of these properties in the composition of Web services. The consideration of such properties raises several problems that need several investigations. The first aspect is to define a formal model that takes into account the necessary abstractions in order to analyze and synthesize a composition. The abstractions we have considered are: messages, data, data constraints, temporal properties and the asynchronous nature of services communications. Based on this model, the second problem we handled is the compatibility analysis. This later aims at characterizing the compatibility or incompatibility of Web services by taking into account the abstractions mentioned above. We propose an approach based on model checking to detect the conflicts that may arise in timed choreography. Finally, the last problem we dealt with is the construction of a composition which attempts to satisfy the client need. The approach that we propose is based on the generation of a mediator to try, whenever possible, to resolve the incompatibilities that may arise during a collaboration. Mechanisms and algorithms have been developed to implement these primitivesNANCY1-Bib. numérique (543959902) / SudocSudocFranceF