H. B. D. S structuration d'un systeme de cao intergraph. Application de la notion de message aux types abstraits de donnees

par PHILIPPE MUHLHOFF

Thèse de doctorat en Sciences appliquées

Sous la direction de François Bouillé.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Ce travail est organise en deux parties. La premiere partie est la description des systemes de cao intergraph de base vax/vms et unix. Les systemes de cao traditionnels sont d'abord decrits. Ils sont bases sur le langage graphique igds et sur le gestionnaire de bases de donnees dmrs. Ensuite, les nouveaux systemes de cao intergraph sont decrits. Ils incorporent dans le noyau graphique un langage oriente objet et sont developpes dans le monde unix. La deuxieme partie de la these consiste en l'elaboration d'un noyau base sur les notions de message et de types abstraits de donnees. Sur cette base est developpe un systeme d'exploitation et un langage graphique base sur les diagrammes de petri. Ces developpements nous permettent de modeliser et decrire algorithmiquement la couche de geometrie associative d'intergraph. Cette deuxieme partie se termine sur les possibilites de requetes a base de clauses de horn (prolog) pour interroger des structures h. B. D. S ainsi que sur la possibilite d'utiliser un noyau a base de messages et tad pour faire de la simulation discrete. En derniere partie (annexe), tous les outils employes dans la these sont decrits ainsi que deux systemes d'information geographique (tigris et dlg/e)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 70 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.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1990 634
  • 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 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.