- Nouveau
Le Web Sémantique et l'Ontologie GOODRELATIONS en Commerce connecté
- Nouveau
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 qu’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 qu’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.
Abdeslam Jakimi est docteur en informatique et professeur à la Faculté des Sciences et Techniques d’Errachidia (FSTE) de l’université Moulay Ismail de Meknès.
Il mène des travaux de recherche en Génie Logiciel (GL) et Intelligence Artificielle (IA).
Ces activités d’enseignement portent sur des domaines d’informatique (GL, POO, UML, IDM, MDA, IA..).
Fiche technique