Objectivada : une extension objet du langage ada. application a un environnement pour la conception de systemes-experts

par CLAUDE FORNARINO

Thèse de doctorat en Sciences appliquées

Sous la direction de Paul Franchi-Zannettacci.

Soutenue en 1991

à Nice .

    mots clés mots clés


  • Résumé

    Cette these est une etude prospective qui se situe dans le cadre des techniques et environnements de la programmation avancee. Elle est motivee par l'existence d'un fosse entre d'une part, les techniques de structuration des langages modulaires comme ada, et d'autre part, les mecanismes de la programmation par objets. Dans ce memoire, conscient des avantages de la programmation par objets tant au niveau de l'organisation des programmes que de la reutilisation ou de la flexibilite d'ecriture, nous definissons objectivada. C'est une extension du langage ada qui integre les mecanismes des langages a objets (classes, methodes, heritage et envoi de messages), tout en assurant une triple compatibilite (syntaxique, semantique et methodologique) avec ada. Objectivada est implemente par un preprocesseur qui genere du code ada. Nous montrons que les resolutions de l'heritage, du typage et de la surcharge ne peuvent etre traitees separement. Aussi proposons nous une extension de l'algorithme de surcharge ada: la h-surcharge. Cette generalisation de la surcharge permet de resoudre des problemes qui n'ont pas de solution en c++, pour un surcout minimal. D'autres part, par la semantique naturelle, nous exprimons la traduction du code objectivada vers ada, et la semantique operationnelle de notre modele. Cette derniere est basee sur le concept de l'extension lineaire de clos et sur la definition d'une relation d'ordre sur le systeme de types. Le developpement de trois applications valide objectiveada: la definition d'objectivada en objectivada, la realisation d'un environnement graphique pour l'edition de programmes objectivada et l'ecriture d'un generateur de systemes-experts en objectivada. Ces applications permettent de situer objectivada a la confluence du genie logiciel et l'intelligence artificielle


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 87 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.