Composants et Typage

Michael Lienhardt 1
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Since the mid-1990s, many component models have emerged, such as Fractal developed by France Telecom and INRIA, OSGi developed by IBM, Click by MIT, etc. These models are all designed to build very large and complex programs, such as Eclipse based on OSGi or the Fractal toolchain. Although these models facilitate the design of large programs, it is nevertheless always easy to make mistakes that can rise exceptions or cause the sudden stop of the program. In this thesis, we focus on two aspects of component models validation: First we define two types systems to ensure that no serious error is present in a static and typed program; we also study in a simple programming language Oz/K how it is possible to formally describe the interaction between components and functional code. This language also allow us to study some commands to manipulate component assemblies which would be more appropriate to prove properties on component based programs.
Document type :
Theses
Computation and Language [cs.CL]. Université Joseph-Fourier - Grenoble I, 2010. French


https://tel.archives-ouvertes.fr/tel-00749351
Contributor : Michael Lienhardt <>
Submitted on : Friday, November 16, 2012 - 2:07:06 PM
Last modification on : Wednesday, October 29, 2014 - 1:29:08 PM

Identifiers

  • HAL Id : tel-00749351, version 3

Collections

LIG | UJF | UGA

Citation

Michael Lienhardt. Composants et Typage. Computation and Language [cs.CL]. Université Joseph-Fourier - Grenoble I, 2010. French. <tel-00749351v3>

Export

Share

Metrics

Consultation de
la notice

151

Téléchargement du document

40