Abdeslam Jakimi, El Mahi Bouziane, Chafik Baidada

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

Vers un Support Algorithmique et Logiciel pour la Rétro-Ingénierie de Diagramme de Séquence d¿UML 2.x

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Éditions universitaires européennes
• Seitenzahl: 124
• Erscheinungstermin: 4. August 2021
• Französisch
• Abmessung: 220mm x 150mm x 8mm
• Gewicht: 203g
• ISBN-13: 9786203422726
• ISBN-10: 620342272X
• Artikelnr.: 62512596

Autorenporträt

Z. Ait El Mouden is an assistant professor of computer engineering at EST Meknes, UMI, Morocco ---A. Jakimi is a full professor of computer engineering in the department of computer science at FST Errachidia, UMI, Morocco ---Moha Hajar is a a full professor of mathematics in the department of mathematics at FST Errachidia, UMI, Morocco.