Représentations dynamiques de l'espace dans un langage déclaratif de simulation

Abstract : The work presented in this thesis is part of the 81/2 project that develops expressive and efficient data and control constructs for the simulation of dynamical systems. The aim of this work is to define, study and develop dynamical representations of space within a declarative framework. We have introduced two new data structures in 81/2, the GBF and the amalgams, by proposing a formalization and studying their implementation. GBF allow the definition of regular and homogeneous spaces, while the amalgams allow the construction, through some computations, of heterogeneous and ad- hoc spaces. These two new notions have direct applications in the domain of simulation of highly dynamical systems (as for example growing processes in biology). They also find a direct application in computer science by defining a new framework for 1) the definition, analysis and implementation of recursive data (the GBF define for example a unified framework for the notion of array and tree); 2) the definition and formalization of new incremental programming mechanisms that are arising in recent languages like Java (amalgams allow the formalization of an instantiation mechanism by implicit name capture, and program extension). GBF and amalgams are first studied on their own and are afterwards introduced and integrated into the declarative framework of the language 81/2 to define the language 81/2D . We have shown, through numerous and significant examples, the pertinence of our choices. They put into evidence the gain of expressivity brought by the improvement of the notion of space, and by the primitives allowing the definition of objects onto those spaces. The notions of GBF and Amalgam allow the definition, in a very concise manner, of regular and irregular data structures, within a declarative framework, and open some new perspectives for the parameterization and the incremental construction of programs.
Complete list of metadatas

Cited literature [126 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00305731
Contributor : Olivier Michel <>
Submitted on : Thursday, July 24, 2008 - 4:29:03 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM
Long-term archiving on : Saturday, November 26, 2016 - 12:31:34 AM

Identifiers

  • HAL Id : tel-00305731, version 1

Collections

Citation

Olivier Michel. Représentations dynamiques de l'espace dans un langage déclaratif de simulation. Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 1996. Français. ⟨tel-00305731⟩

Share

Metrics

Record views

204

Files downloads

857