Validation d’un modèle de composition de services web à base d’automates hiérarchiques avec la méthode B-Événementiel

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.