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
Informatique et langage [cs.CL]. Université Joseph-Fourier - Grenoble I, 2010. Français


https://tel.archives-ouvertes.fr/tel-00749351
Contributor : Michael Lienhardt <>
Submitted on : Friday, November 16, 2012 - 2:07:06 PM
Last modification on : Wednesday, September 9, 2015 - 1:04:37 AM

Identifiers

  • HAL Id : tel-00749351, version 3

Collections

LIG | UJF | UGA | INRIA

Citation

Michael Lienhardt. Composants et Typage. Informatique et langage [cs.CL]. Université Joseph-Fourier - Grenoble I, 2010. Français. <tel-00749351v3>

Export

Share

Metrics

Record views

188

Document downloads

79