réalisation d'un outil de transformation automatique de diagrammpe de classes UML en FoCaLiZe

Abstract

تحقيق أداة للتحويل التلقائي لمخططات الأقسام من UML إلى FoCaLiZe"L’Unified Modeling Language (UML) est progressivement devenu le standard de fait pour la modélisation de systèmes logiciels à l'aide de méthodes orientées objet. Cependant, malgré sa richesse, la sémantique de ce langage est encore informelle et mal définie, ce qui rend difficile l'utilisation directe de méthodes formelles. D'autre part, FoCaLiZe est un environnement de développement formel orienté objet qui permet la mise en œuvre d'applications certifiées. Cette méthode appartient au cadre de l'Ingénierie des Modèles (IDM, "" Ingénierie Dirigée par les Modèles ""), qui vise de produire des logiciels par affinement automatiques de modèles, des spécifications abstraites aux implémentations concrètes. Dans ce mémoire, nous envisageons la réalisation d’un outil de transformation automatique de diagramme de classes UML en FoCaLiZe . L'implémentation proposée supporte directement la plupart des fonctionnalités d’UML telles que l'héritage, l'héritage multiple, la dépendance, le Template UML et le Template binding etc. Nous illustrons notre implémentation par des exemples concrets. "