Composition automatique de services Web décrits par leurs protocoles

Web services enable flexible integration and interoperability of autonomous, heterogeneous and distributed applications. A core challenge for the web services technology is the development of techniques and tools for automatically generating composite servicess by taking into account their behavioral properties (e.g. business protocols). In this thesis, we focus on the problem of automatic composition of web services. We consider web services described by their business protocols which are formalized as finite states machines. Previous works on this problem dealt with the particular case where the number of instances of each component service is bounded and fixed a priori. We tackle the general case of the protocol synthesis problem where the number of instances of each component service that can be used in a composition is not bounded a priori. More precisely, we consider the following problem: 'given a set of n available web service protocols P1, . . . , Pn and a new target protocol PT , can the behavior described by PT be synthesized by combining the behaviors described by the available protocols?'. In order to cope with this problem, we first propose a formal framework for the composition synthesis based on both the simulation preorder and the shuffle closure of finite states machines. We prove its decidability through a sound and complete composition algorithm. Then, we conduct a complexity analysis of the composition problem. More precisely, we provide upper and lower bounds on the problem complexity. We also focus on several particular cases of this general problem. Finally, we implement a composition prototype within the framework of the ServiceMosaic platform.Les services web permettent l'intégration flexible et l'interopérabilité d'applications autonomes, hétérogènes et distribuées. Le développement de techniques et d'outils permettant la composition automatique de ces services en prenant en compte leurs comportements est une question cruciale. Cette thèse s'intéresse au problème de la composition automatique de services web. Nous décrivons les services web par leurs protocoles métiers, formalisés sous la forme de machines d'état finis. Les principaux travaux autour de cette problématique se focalisent sur le cas particulier où le nombre d'instances de chaque service est fixé à priori. Nous abordons le cas général du problème de synthèse de protocoles où le nombre d'instances de chaque service disponible et pouvant intervenir lors de la composition n'est pas borné à priori. Nous abordons le cas général du problème de synthèse de protocoles où le nombre d'instances de chaque service disponible et pouvant intervenir lors de la composition n'est pas borné à priori. Plus précisement, nous considérons le problème suivant : étant donné un ensemble de n protocoles disponibles P1,..., Pn et un nouveau protocole cible PT, le comportement de PT peut-il être synthétisé en combinant les comportements décrits par les protocoles disponibles ? Pour ce faire, nous proposons dans un premier temps un cadre formel de travail basé à la fois sur le test de simulation et la fermeture shuffle des machines d'états finis. Nous prouvons la décidabilité du problème en fournissant un algorithme de composition correct et complet. Ensuite, nous analysons la complexité du problème de la composition. Plus précisement, nous fournissons une borne supérieure et inférieure de complexité. Nous nous intéressons également aux cas particuliers de ce service général. Enfin, nous implémentons un prototype de composition dans le cadre de la plateforme ServiceMosaic