Composition de Services Web: Une Approche basée Liens Sémantiques. (Web Service Composition : Semantic Links based Approach)

La composition automatisee de services Web ou le processus de formation de nouveaux services Web a plus forte valeure ajoutee est l'un des plus grand defis auxquels le Web semantique est face aujourd'hui. La semantique permet d'un cote de decrire les capacites des services Web mais aussi leurs processus d'execution, d'ou un element cle pour la composition automatique de services Web. Dans cette etude de doctorat, nous nous concentrons sur la description fonctionnelle des services Web c'est-a-dire, les services sont vus comme une fonction ayant des parametres i) d'entree, de sortie semantiquement annotes par des concepts d'une ontologie de domaine et ii) des conditions prealables et effets conditionnels sur le monde. La composition de services Web est alors consideree comme une composition des liens semantiques ou les lois de cause a effets ont aussi un role preponderant. L'idee maitresse est que les liens semantiques et les lois causales permettent, au moment de l'execution, de trouver des compatibilites semantiques, independamment des descriptions des services Web. En considerant un tel niveau de composition, nous etudions tout d'abord les liens semantiques, et plus particulierement leurs proprietes liees a la validite et la robustesse. A partir de la et dependant de l'expressivite des services Web, nous nous concentrons sur deux approches differentes pour effectuer la composition de services Web. Lors de la premiere approche, un modele formel pour effectuer la composition automatique de services Web par le biais de liens semantiques i.e., Matrice de liens semantiques est introduite. Cette matrice est necessaire comme point de depart pour appliquer des approches de recherche basees sur la regression (ou progression). Le modele prend en charge un contexte semantique et met l'accent sur les liens semantiques afin de trouver des plans corrects, complets, coherents et robustes comme solutions au probleme de composition de services Web. Dans cette partie un modele formel pour la planification et composition de services Web est presente. Dans la seconde approche, en plus de liens semantiques, nous considerons les lois de causalite entre effets et pre-conditions de services Web pour obtenir les compositions valides de services Web. Pour ceci, une version etendue et adaptee du langage de programmation logique Golog (ici sslGolog) est presentee comme un formalisme naturel non seulement pour le raisonnement sur les liens semantiques et les lois causales, mais aussi pour composer automatiquement les services Web. sslGolog fonctionne comme un interprete qui prend en charge les parametres de sortie de services pour calculer les compositions conditionnelles de services. Cette approche (beaucoup plus restrictive) suppose plus d'expressivite sur la description de service Web. Enfin, nous considerons la qualite des liens semantiques impliques dans la composition comme critere novateur et distinctif pour estimer la qualite semantique des compositions calculees. Ainsi les criteres non fonctionnels tels que la qualite de service(QoS) ne sont plus consideres comme les seuls criteres permettant de classer les compositions satisfaisant le meme objectif. Dans cette partie, nous nous concentrons sur la qualite des liens semantiques appartenant a la composition de service Web. Pour ceci, nous presentons un modele extensible permettant d'evaluer la qualite des liens semantiques ainsi que leur composition. De ce fait, nous introduisons une approche fondee sur la selection de liens semantiques afin de calculer la composition optimale. Ce probleme est formule comme un probleme d'optimisation qui est resolu a l'aide de la methode par programmation lineaire entiere. Notre systeme est mis en œuvre et interagit avec des services Web portant sur de scenarios de telecommunications. Les resultats de l'evaluation a montre une grande efficacite des differentes approches proposees.