Abstract FR:

Des outils formels pour aider à la composition automatique de Web services ont été développés. Il s'agit de classer des Web services complexes selon deux différents critères de subsomption. Nous supposons disposer d'annuaires sémantiques contenant un très grand nombre de Web services. Nous modélisons le Web comme une immense base de données informelle et les Web services complexes comme des plans constitués d'actions atomiques, les Web services simples. Nous avons dégagé une différence entre Web services, ceux actifs qui modifient les données sur le Web et ceux informatifs qui effectuent des requêtes. Un Web Service actif atomique est considéré comme un opérateur similaire à STRIPS. Nous utilisons une logique dynamique propositionnelle pour modéliser les Web services actifs atomiques et complexes. Nous avons deux notions de subsomption différentes. Nous avons écrit un algorithme (complet et correct) générant le modèle d'exécution normale d'un Web service composite. Nous avons donné deux méthodes de décision relatives aux deux critères de subsomption. L'algorithme et les méthodes de décision ont été implémentés. Nous modélisons ensuite les Web services informatifs avec une logique dynamique du premier ordre combinée avec un langage de requête. Ce qui permet d'établir une distinction formelle entre Web services informatifs et actifs.