Abstract:
Dans les systèmes distribuées, les Web services occupent une place centrale, rendant cruciale
l'assurance de leur performance, fiabilité et disponibilité. Ce mémoire propose un modéle bas
sur les réseaux de Petri colorés pour modéliser la découverte et la composition automatique de
Web services en tenant compte des exigences de qualite de service (QoS).
La méthode repose sur la modélisation formelle avec CPN Tools, permettant d'analyser le
comportement dynamique du systeme à travers des simulations et une exploration de l'espace
d'etats. Plusieurs scénarios ont été testés pour évaluer des indicateurs de performance tels que
le temps d'attente et le taux de succes.
Les resultats montrent
fficacite du modéle pour analyser les performances et anticiper
les defaillances, bien que sa complexité augmente avec le nombre de services. Ce travail offre
ainsi une base pour des ameliorations futures, notamment via l'optimisation multi-critéres ou `
l'intégration de l'intelligence artificielle.
