Assistance au calage de modèles numériques en hydraulique ... - TEL

5.3 CARMA-1, UN PROTOTYPE EN PILOTAGE DE PROGRAMMESCe prototype est un système à base de connaissances bâti avec le moteur PEGASE+ etfonctionne suivant le mécanisme de pilotage de programmes décrit dans la section 5.2.Après une description de l’implémentation technique réalisée pour obtenir ce prototype,cette section présente les principes de la construction d’une base de connaissancesdans le langage YAKL et les principes de fonctionnement du prototype.5.3.1 Principe d’implémentation techniqueL’implémentation technique du prototype CARMA-1 s’est déroulée selon plusieursphases, comme présenté par la figure 5.7. L’ensemble des connaissances décrites dansle chapitre précédent selon le formalisme graphique UML ont tout d’abord fait l’objetd’une traduction dans le langage YAKL, traduction sur laquelle nous allons revenirdans la section suivante. La base de connaissances ainsi obtenue est ensuite traduiteautomatiquement en langage C++ par un interpréteur – ou parser – du langage YAKL.Les fichiers ainsi obtenus sont alors compilés conjointement avec la librairie du moteurPEGASE+ de manière à produire un système à base de connaissances exécutable.:JeuDeDiagrammesUML:JeuDeFichiersYakltraductionparsing:JeuDeFichiersC++compilation:SystèmeExécutableraffinement d'implémentationanalyse croiséeFIG. 5.7 – Principe de l’implémentation technique du prototype de système d’assistance aucalage – Diagramme de séquences UML.Les problèmes d’implémentation technique d’une base de connaissances ont été misen relief par Morel (2002). Il souligne notamment le nécessaire rapprochement entreles domaines de l’Ingénierie des Connaissances et du Génie Logiciel pour parvenir àune chaîne cohérente d’opérationalisation des connaissances. La principale différenceentre la chaîne ✭ UML–YAKL–C++ ✮ utilisée ici et celles préconisées par Morel et Kassel(1999, 2001) est l’utilisation de la norme UML comme outil de spécification. Cette démarche,adoptée par Cranefield et Purvis (1999) et Kogut et al. (2002), est soumise auxambiguïtés de la notation graphique UML, qui prévoit par exemple une équivalencesémantique entre un attribut et une relation de composition. L’utilisation du langageYAKL comme intermédiaire entre UML et le langage de programmation C++ nous apermis de lever ces ambiguïtés au niveau opérationnel, au prix de l’établissement deconventions strictes pour la traduction UML-YAKL, conventions que nous allons présenterdans la section suivante.132