Un modèle objet logique et relationnel : le langage Othelo

par Mireille Blay-Fornarino et Anne-Marie Pinna

Thèse de doctorat en Informatique

Sous la direction de Paul Franchi-Zannettacci.

Soutenue en 1990

à Nice .


  • Résumé

    Cette thèse a pour but d'intégrer dans un système unique certains résultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce système est alors capable de modéliser les connaissances du monde extérieur dans un formalisme permettant de les manipuler symboliquement. Cette thèse est constituée de trois parties principales. Définition d'un modèle objet abstrait dans lequel les opérations élémentaires sous-jacentes aux mécanismes mis en œuvre dans un langage à objets (création, héritage, envoi de message) sont redéfinissables par un programmeur. Un langage issu de ce modèle peut autoriser : la création d'objets de structures internes différentes pouvant communiquer entre eux ; la définition de modes d'héritage complexes ; l'expression des exceptions et des cas particuliers. Apports d'inférence déclarative au modèle objet. Le langage Othello est une implantation en Prolog du modèle abstrait dans laquelle les principaux mécanismes ont été reconsidérés afin d'attribuer aux objets des comportements logiques. Citons : la définition de méthodes polymorphes, l'envoi de message à objets anonymes, des combinaisons et du contrôle sur les méthodes dans un graphe d'héritage et des capacités intrinsèques à raisonner. Aspect relationnel de la connaissance. L’idée est d'utiliser l'approche objet pour décrire un langage de relations et ainsi faciliter l'expression des relations de dépendance et le maintien automatique de leur cohérence. Une des originalités de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour rétablir de façon incrémentale la cohérence. Les liens de la hiérarchie proposée permettent de décrire les relations d'héritage et d'implanter une interface graphique. Une quatrième partie illustre ce travail par une application en thermique

  • Titre traduit

    A logical and relational object model : the Othelo language


  • Pas de résumé disponible.

Autre version

Un modèle objet logique et relationnel : le langage OTHELO


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 4 vol. (370 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 355-370. Résumé en français

Où se trouve cette thèse ?

  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : 90NICE4359/1
  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : 90NICE4359/2
  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : 90NICE4359/3
  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : 90NICE4359/4
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 90NICE4359BIS/1
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 90NICE4359BIS/2
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 90NICE4359BIS/3
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 90NICE4359BIS/4
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.
Cette thèse a donné lieu à 1 publication .

Consulter en bibliothèque

à

Informations

  • Sous le titre : Un modèle objet logique et relationnel : le langage OTHELO
  • Détails : 1 vol. (391 p.)
  • ISBN : 2-7261-0645-5
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse ?