Caractérisation des transitions temporisées dans les logs de conversation de services Web

摘要: La connaissance du protocole de conversation d’un service Web est importante pour les utilisateurs et fournisseurs, car il en modelise le comportement externe ; mais, n’est souvent pas specifie lors la conception. Notre travail s’inscrit dans une thematique d’extraction existant a partir ses donnees d’execution. Nous etudions un sous-probleme important qui decouverte des transitions temporisees (i.e. changements d’etat lies contraintes temporelles). proposons cadre formel aboutissant definition expirations propres, representent equivalent logs temporisees. A notre connaissance, ceci represente premiere contribution resolution ce probleme.