| Résumé | Les langages d'orchestration des services Web décrivent des processus opérationnels exécutables composés de services Web. Un processus opérationnel peut échouer pour un grand nombre de raisons, telles que des services Web défectueux ou le mauvais appariement des messages. Il importe de découvrir quels services Web sont responsables de l'échec d'un processus opérationnel, afin de les exclure ultérieurement du processus opérationnel. Dans cet article, nous proposons une approche fondée sur un modèle pour diagnostiquer le processus de services Web orchestrés. Nous convertissons le langage d'orchestration de ces services, le BPEL4WS, en automates synchronisés, de façon à avoir une description formelle de la topologie et de la dépendance des variables du processus opérationnel. Après la production d'un rapport d'erreur, le module de diagnostic peut calculer la trajectoire d'exécution de ce processus, d'après le modèle formel et l'évolution observée du processus. Les services Web défectueux sont déduits de la dépendance des variables sur la trajectoire d'exécution. Nous démontrons notre technique de diagnostic par un exemple. |
|---|
