Caractérisation des transitions temporisées dans les logs de conversation de services Web (version longue)

La connaissance du protocole de conversation d’un service Web est importante, pour les utilisateurs et les fournisseurs de services car il en modélise le comportement externe. Cependant, ce protocole n’est souvent pas spécifié pendant la conception. Notre travail s’inscrit dans une thématique d’extraction du protocole de conversation temporisé d’un service existant à partir de ses données d’exécution (logs). Nous en étudions un sous-problème important qui est la découverte des transitions temporisées, i.e. la recherche des changements d’états liés à des contraintes temporelles. Nous présentons un cadre formel regroupant différents concepts, dont les expirations propres, qui représentent pour les logs ce que sont les transitions temporisées dans le protocole de conversation. A notre connaissance, ceci représente la première contribution à la résolution de ce problème.