Elaboration d'un langage extensible fondé sur les schémas : le langage Objlog+

par Colette Faucher

Thèse de doctorat en Informatique

Sous la direction de Eugène Chouraqui.


  • Résumé

    L'objet de cette these est l'elaboration d'un langage extensible fonde sur les schemas et bati sur prolog, objlog+, dans lequel la notion de schema fait reference a une simple structure de donnees a trois niveaux champ-aspect-valeur, a laquelle aucune semantique du type schema generique/schema specifique n'est associee a priori. A chaque categorie du savoir peut etre associee une categorie de schemas dont la semantique est definie explicitement a posteriori. Les categories suivantes sont predefinies: schemas parametres, schemas non parametres, filtres, prototypes, instances, filtres parametres, etc. . . Objlog+ est entierement auto-referent, c'est-a-dire que toutes ses entites de base sont reifiees, en particulier les donnees specifiques de prolog, ce qui confere a objlog+ une certaine independance vis-a-vis de celui-ci. Objlog+ est extensible a la fois sur le plan structurel et sur le plan comportemental. Sur le plan structurel, il est possible de definir de nouvelles categories de schemas, ainsi que de nouveaux aspects dont la structure de controle est prise en charge automatiquement par le systeme. Sur le plan comportemental, la reification des messages permet de definir de nouveaux types d'envois de messages en tant que methodes. Enfin, objlog+ est implemente a l'aide d'un gestionnaire d'objets complexes ecrit en c, qui prend en charge le stockage et l'acces aux schemas d'objlog+, codifies sous forme d'objets du gestionnaire

  • Titre traduit

    Elaboration of an open-ended frame-like language. The language Objlog+


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : (213 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Notes bibliogr. p.2-24

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. Saint-Jérôme). Service commun de la documentation. Bibliothèque de sciences - Inspé.
  • Disponible pour le PEB
  • Cote : T 1736
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : FAUCHER e

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1991-FAU
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.