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

par LIONEL PERROT

Thèse de doctorat en Sciences appliquées

Sous la direction de P. BREZILLON.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 362 P.
  • Annexes : 148 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.