Intitulé de la thèse : Contribution à la Mégamodélisation : Gestion des changements et Maintien de la Consistance dans les Systèmes de Grande Taille.
Doctorant : El Hadji Bassirou Touré
Mail : elbachir.toure@gmail.com / bassirou.toure@esp.sn
Tel : +221 77 358 79 10 / +221 70 776 69 05
Laboratoire: UMI 209 UMMISCO, IRD DAKAR/HANN
Résumé de la thèse :
Dans cette thèse nous proposons une approche d’analyse de l’impact et de la propagation des changements dans un environnement de modélisation globale. En réponse aux fréquents changements dans l’environnement, nous proposons une méthode semi-automatique permettant la détection et le contrôle de l’impact des changements dans le mégamodèle afin de maintenir la consistance de celui-ci. Une prise en compte des impacts de modifications est d’une importance particulière, le moindre changement sur un artéfact-modèle que nous appellerons, par la suite, modèle de composant pouvant entrainer un déséquilibre logique ou architectural du mégamodèle. Si le changement n’est pas contrôlé, cela peut entraîner un dysfonctionnement de l’ensemble des artéfacts qui interagissent avec le composant. Pour une bonne gestion des changements, nous présentons une approche permettant de suivre l’impact d’une modification dans le mégamodèle et de contrôler les changements opérés dans le but de conserver l’intégrité du mégamodèle. Pour ce faire, nous considérons le mégamodèle comme un environnement d’exécution dans lequel s’exécutent des programmes écrits dans un langage dédié spécialement conçu pour la manipulation du mégamodèle. Comme tout langage, nous proposons une syntaxe abstraite et une syntaxe concrète ainsi qu’une sémantique opérationnelle afin de pouvoir nous assurer de la correction de tout programme écrit dans ce langage, et donc que le mégamodèle garde sa consistance. De ce fait, étant donné que le mégamodèle ne peut être modifié que par le biais des programmes, assurer la cohérence du mégamodèle revient à prouver que tout programme le manipulant, est partiellement ou totalement correcte. Ces travaux ont abouti à la publication de papiers dans des conférences internationales.
Mots clés : Ingénierie Dirigée par les Modèles, Intégration, Mégamodélisation,Systèmes Complexes
Publication(s):
- Toure, E.B., Fall, I., Bah, A., Camara, M.S. Consistency Preserving for Evolving Megamodels through Axiomatic Semantics. In the 2nd IEEE International Conference on Intelligent Systems and Computer Vision. ISCV, Fez, Morroco, (17-18-19 April, 2017).
- Toure, E.B., Fall, I., Bah, A., Camara, M.S. Megamodel Consistency Management at Runtime. In Proceedings in the LNICST, volume 204, Springer. In the 1st International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, Dakar, Senegal. (April 11–12, 2017).
- Toure, E.B., Fall, I., Bah, A., Camara, M.S. Megamodel-based Management of Dynamic Tool Integration in Complex Software Systems. In Proceedings of the Annals of Computer Science and Information System (ACSIS), volume 9 (pp.211-218). In the 16th IEEE Federated Conference on Computer Science and Information Systems (FedCSIS), Gdansk, Poland. (2016, September).
- Bousso, M., Sall, O., Thiam, M., Lo, M., Toure, E.B. Ontology Change Estimation Based on Axiomatic Semantics and Entropy Measure. In the 8th IEEE Conference on Signal Image Technology and Internet Based Systems (SITIS), (pp. 458-465), Sorrento, Italy. (2012, November).
Directeur de thèse :
Dr Alassane Bah ; Maitre de conférences.
Encadreur:
Dr Ibrahima Fall ; Maitre-assistant