Modélisation et Validation de Services Web

L'objectif principal de WebMov est de contribuer à la conception, à la composition et la validation de services Web à travers une vue abstraite de haut niveau et d'une vision SOA (architecture orientée services) basée sur une architecture logique. Dans ce domaine, les industriels construisent les nouveaux services en composant des modules préexistants. Ces mécanismes de composition sont connus sous le nom d'orchestration. Dans ce projet, nous travaillerons plus particulièrement sur la conception et sur les mécanismes de composition de services Web et également sur leur validation en utilisant différentes techniques de test.
WebMov définira des modèles logiques pour des architectures SOA afin de fournir une abstraction haut niveau pour concevoir l'architecture, l'orchestration de service et les spécifications de tests et des objectifs de test.
Pour assurer la composition, IBM et d'autres entreprises ont défini un langage exécutable standardisé, BPEL, qui permet de décrire les services Web et leur composition. Nous proposons d'utiliser ce langage comme langage de spécification de service. Une fois que les modules sont décrits en BPEL, une traduction vers un modèle formel, proche du modèle des machines à états finis étendues par des variables et des contraintes temporelles, les TEFSM sera faite.
Ce formalisme nous permettra de faciliter la génération de tests temporisés. Ces tests, ainsi générés, seront exécutés selon deux approches: la première une approche active qui consiste à exécuter les tests sur le système sous test; la seconde une approche dite passive, qui consiste à installer une sonde dans l'architecture système. Les acteurs principaux du domaine des services Web tiront profit des approches développées par WebMov en terme de fiabilité des services Web. De plus, le fait que ce projet s'appuie sur des langages standardisés rend l'adoption de nos approches plus facile. Nous devons préciser aussi que les services Web en s'exécutant utilisent des ressources publiques. Des erreurs ou des blocages dans leurs comportements auront un impact négatif certain sur la communauté d'utilisateurs. Ainsi, WebMov en éliminant ces erreurs permettra aux industriels d'être plus compétitifs et cela profitera aussi à la communauté dans son ensemble.

Activités de recherche
  Test de Logiciels
  Modélisation

Membres LRI
ZAIDI Fatiha

Publications : http://webmov.lri.fr
Pour en savoir plus : http://webmov.lri.fr