Abstract FR:

Ce travail est organisé en deux parties. La première partie est la description des systèmes de CAO Intergraph de base VAX/VMS et Unix. Les systèmes de CAO traditionnels sont d'abord décrits. Ils sont basés sur le langage graphique IGDS et sur le gestionnaire de bases de données DMRS. Ensuite, les nouveaux systèmes de CAO Intergraph sont décrits. Ils incorporent dans le noyau graphique un langage orienté objet et sont développes dans le monde Unix. La deuxième partie de la thèse consiste en l'élaboration d'un noyau basé sur les notions de message et de types abstraits de données. Sur cette base est développé un système d'exploitation et un langage graphique basé sur les diagrammes de Petri. Ces développements nous permettent de modéliser et décrire algorithmiquement la couche de géométrie associative d'intergraph. Cette deuxième partie se termine sur les possibilités de requêtes à base de clauses de Horn (Prolog) pour interroger des structures HBDS ainsi que sur la possibilité d'utiliser un noyau à base de messages et TAD pour faire de la simulation discrète. En dernière partie (annexe), tous les outils employés dans la thèse sont décrits ainsi que deux systèmes d'information géographique (Tigris et DLG/E).