Supervision et vérification décentralisées de chorégraphies de services

International audienceCross-organizational choreographies are increasingly adopted by different companies. In order to guarantee that all involved partners are informed about errors that may happen in the collaboration, it is necessary to monitor the execution process by continuously observing and checking message exchanges during runtime. This allows a global process tracking and evaluation of process metrics. In this paper, we present an approach for decentralized monitoring of cross-organizational service-based processes. We dene an hierarchical propagation model for exchanging external notications between the collaborating parties in order to limit data exposure and avoid bandwidth overhead. The generation of notications relies on state change of choreographies allowing to transparently observe the external behavior of each participant without providing information about the internal processes. The collected monitoring data can be further used for the evaluation of global process metrics by expressing and evaluating statistical queries over execution traces. In case of violation, an algorithm is proposed to nd the root cause.Les chorégraphies de services sont de plus en plus adoptées comme un moyen de collaboration entre des organisations partenaires. Cependant, la quasi-totalité des approches proposées pour le suivi des compositions de services sont limitées à une même zone de conance et ne peuvent donc pas être adaptées pour superviser les échanges de messages des processus métiers qui s'étendent à travers de nombreuses organisations administrativement indépendantes. Dans cet article, nous proposons une approche décentralisée et événementielle pour la supervision et la vérication des interactions d'une chorégraphie inter-organisationelle. Des évènements sont dénis et traités par des unités de supervision implantées le long des frontières de chaque organisation et invoqués à chaque détection d'un nouveau message échangé avec une organisation partenaire. Après la vérication de chaque message par rapport au schéma de la chorégraphie, une notication est automatiquement générée, envoyée et propagée à un sous-ensemble précalculé de participants. En cas de violation, un algorithme de recherche de la cause originelle est proposé