Rétro-Ingénierie des Modèles Dynamiques d'UML

Dans ce travail, nous proposons un cadre pour le support des transformations et nous proposons plusieurs approches pour la rétro-ingénierie des modèles dynamiques d'UML. Ces travaux s¿intéressent principalement au diagramme de séquence. Trois nouvelles approches sont proposées. Le point en commun entre ces approches est qüelles s¿appuient toutes sur les Réseaux de Petri Colorés (RdPCs). En effet, ces réseaux sont utilisés pour modéliser formellement les traces d¿exécution du système afin d¿en faciliter l¿analyse. La première approche construit les RdPCs modélisant l¿exécution du système de façon incrémentale en utilisant un algorithme qüon a développé. La deuxième approche consiste à générer pour chaque trace un RdPC. La fusion de ces réseaux en un seul réseau représentant le système est réalisée grâce à l¿algorithme adapté KBehaviour. La troisième approche quant à elle, combine une analyse statique avec une analyse dynamique afin de tirer les avantages de chaque analyse.