| Résumé | Les services Web ont pour but de réaliser l'interopérabilité universelle entre les applications, grâce à des normes Web : cette technologie émergente constitue un moyen prometteur d'intégrer les applications métier. On peut ensuite considérer un processus métier comme un ensemble de services Web pouvant appartenir à différentes sociétés, et qui interagissent entre eux en s'envoyant des messages. Dans ce contexte, il n'existe ni modèle ni mécanisme global permettant de surveiller et de localiser les anomalies dans les processus métier. Dans cet article, nous étudions ce problème et proposons d'employer une approche de raisonnement basée sur un modèle et appliquée à des systèmes d'événements discrets. Cet article présente une méthode automatisée permettant de modéliser le comportement des services Web et leurs interactions, sous la forme d'un ensemble de systèmes d'événements discrets synchronisés. Cette modélisation constitue la première étape, préalable à l'analyse de l'évolution du processus métier et du diagnostic de ses défaillances. |
|---|
