Caractérisation des transitions temporisées dans les logs deconversation 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 modelise le comportement externe. Cependant, ce protocole n’est souvent pas specifie pendant la conception. Notre travail s’inscrit dans une thematique d’extraction du protocole de conversation temporise d’un service existant a partir de ses donnees d’execution (logs). Nous en etudions un sous-probleme important qui est la decouverte des transitions temporisees, i.e. la recherche des changements d’etats lies a des contraintes temporelles. Nous presentons un cadre formel regroupant differents concepts, dont les expirations propres, qui representent pour les logs ce que sont les transitions temporisees dans le protocole de conversation. A notre connaissance, ceci represente la premiere contribution a la resolution de ce probleme.