Les travaux de recherche effectués dans cette thèse s'inscrivent dans le cadre du projet 81/2 qui développe des structures de données et de contrôle expressives et efficaces pour la simulation de systèmes dynamiques. L' objectif de ce travail est de concevoir, étudier et développer des représentations dynamiques de l'espace dans un cadre déclaratif.<br>Nos travaux ont consisté à introduire dans 81/2 deux nouvelles structures de données, les GBF et les amalgames, en proposant une formalisation et en étudiant leur implémentation. Les GBF permettent de représenter des espaces réguliers et homogènes, tandis que les amalgames permettent de construire, par calcul, des espaces hétérogènes et ad-hoc. Ces deux nouvelles notions trouvent directement leur application dans le domaine de la simulation des systèmes hautement dynamiques (comme par exemple les processus de croissance en biologie). Elles trouvent aussi une application directe en informatique classique, en fournissant un nouveau cadre théorique pour 1) la spéciffication, l'analyse et l' implémentation de données récursives (les GBF permettent en particulier de considérer les arbres et les tableaux dans le même cadre théorique) ; 2) la conception et la formalisation des nouveaux mécanismes de programmation incrémentielle qui commencent à apparaître dans des langages tels que Java (les amalgames permettent en particulier de conjuguer à la fois un mécanisme d' instanciation par capture implicite et d'extension des programmes). GBF et amalgames sont d'abord étudiés pour eux-mêmes puis sont introduits et intégrés au langage déclaratif 81/2 pour donner lieu à la déffinition du langage 81/2D .<br>Nous avons montré, par de nombreux exemples signifficatifs, la pertinence des choix effectués. Ceux- ci mettent en évidence le gain en expressivité apporté par l'enrichissement de la notion d'espace, et des primitives permettant la déffinition d'objets sur ces espaces. Les notions de GBF et d'amalgame permettent la déffinition, de façon extrêmement concise, de structures de données régulières et irrégulière, dans un cadre déclaratif, et ouvrent de nouvelles voies pour la paramétrisation et la construction incrémentielle de programmes.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00305731 |
| Date | 11 December 1996 |
| Creators | Michel, Olivier |
| Publisher | Université Paris Sud - Paris XI |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds