Thèse soutenue

Apport a la configuration de connaissances par reingenierie de systemes existants. Ka7 : un systeme applique au domaine des reseaux electriques

FR  |  
EN
Auteur / Autrice : LIONEL PERROT
Direction : P. BREZILLON
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1995
Etablissement(s) : Paris 6

Résumé

FR

Les travaux de cette these sont motives par le besoin d'adapter des systemes artificiels a des environnements en perpetuelle evolution. Nous souhaitons rendre cette adaptation la plus automatique possible. L'atelier ka7 (knowledge acquisition for sept) que nous avons realise assiste la gestion du cycle de vie des composants logiciels a integrer dans ces systemes, appeles systemes cibles. La premiere partie est consacree a la presentation de plusieurs approches que nous considerons comme majeures. Les approches que nous avons retenues sont celles de w. J. Clancey, b. Chandrasekaran, j. Mcdermott, kads et les travaux connexes ou derives. Nous attachons une grande importance aux formalismes mis en uvre par chacune d'entre elles. La seconde partie consiste en la construction incrementale d'une proposition. Comme en kads-ii, les systemes cibles que nous construisons contiennent trois niveaux: tache, inference et domaine. Cependant, nous utilisons des langages specialises pour chacun de ces niveaux. Ces langages sont soit repris (lisa-runtime et crl), soit concus et realises par nous-meme (mbmf modele de bon et mauvais fonctionnement, ttd traitement du temps et de la duree, sld synthese et localisation de defaut). La troisieme et derniere partie explique le cycle de vie des composants qui sont produits par l'atelier ka7. Cette partie est essentiellement organisee autour d'images d'ecrans et d'exemples de code source commentes. Les etapes d'acquisition, configuration, operationnalisation et maintenance des composants logiciels sont decrites et illustrees. Perspectives. Deux axes de recherche se degagent naturellement de cette these: le premier concerne la validation statique des composants produits par l'atelier ka7. Le deuxieme se rapporte a l'agencement automatique de ces composants a l'interieur des systemes cibles