Abstract:
La composition des services web vise à combiner les fonctionnalités de plusieurs services afin
de répondre à des exigences auxquelles un seul service ne peut répondre individuellement. La
manière dont la requête sera prise et l’enchaînement de services intervenant lors de la composition
rencontrent de nombreux problèmes.
Les recherches menées dans ce domaine sont nombreuses. Plusieurs approches intéressantes ont
été proposées afin de résoudre le problème de la composition, mais chacune d’elles présente des
lacunes et impose ses contraintes auxquelles il faudra remédier au fil du temps. Après avoir parcouru
les travaux réalisés, et étudié différentes approches, nous nous sommes intéressés aux approches
formelles, ces dernières étant très avantageuses. Elles nous permettent d’avoir un certain niveau de
connaissance préalable du comportement correct du modèle.
Nous avons proposé dans ce document un modèle formel, qui est une Communication des
Automates à Etats Finis Complexes, qui a été vérifié et validé avec la méthode EventB. Le modèle
obtenu est sans erreurs car la vérification et la validation sont faites pas-à-pas avec la construction
du modèle.
Afin de compléter de rendre notre modèle de composition de services web plus rigoureux et plus
exhaustif, de nouvelles perspectives s’ouvrent avec ce travail de recherche, notamment :
– La mise en pratique du modèle proposé ;
– La généralisation du modèle à un large nombre de services et la proposition d’un mécanisme
efficace de mise en échelle ;
– La considéreration de l’outil de compensation de services ;
– L’ajout d’une couche sémantique au modèle.