Le projet MGS poursuit deux objectifs : l'étude de l'apport de notions topologiques dans les langages de programmation, et leur application au développement de nouvelles structures de données et de contrôle pour la simulation de systèmes dynamiques à structure dynamique. Ces objectifs ont abouti au développement d'un langage de programmation expérimental dédié à la spécification de ces systèmes : le langage MGS. Ces travaux sont organisés selon trois axes : (1) le développement de la notion de collection topologique de dimension arbitraire, une nouvelle structure de donnée fondée sur la notion de complexe cellulaire développée en topologie algébrique, (2) la spécification formelle d'une sémantique des programmes MGS et plus particulièrement des transformations, une forme originale de définition par cas de fonction sur les collections topologiques, et enfin (3) la validation de nos travaux par de nombreux exemples non triviaux dans les domaines de la biologie et de la morphogénèse. / The MGS project is aimed at studying the use of topological notions for programming languages and their applications in developing new data and control structures for the simulation of dynamical systems with a dynamical structure. These goals have led to the development of an experimental programming language dedicated to the specification of such systems: the MGS language. This work is organized following three directions: (1) developing the notion of topological collection of arbitrary dimension, a new data structure based on the concept of cellular complex developed in algebraic topology, (2) specifying a formal semantics of MGS, especially for transformations, an original kind of case-based definition of functions on topological collections, and finally (3) validating our works with numerous non trivial examples in biology and morphogenesis.
| Identifer | oai:union.ndltd.org:theses.fr/2006EVRY0028 |
| Date | 01 December 2006 |
| Creators | Spicher, Antoine |
| Contributors | Evry-Val d'Essonne, Giavitto, Jean-Louis |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text, StillImage |
Page generated in 0.0239 seconds