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 :
Complete list of metadatas
Contributor : Michael Lienhardt <>
Submitted on : Wednesday, November 7, 2012 - 12:20:53 PM
Last modification on : Thursday, October 11, 2018 - 8:48:03 AM
Long-term archiving on : Saturday, December 17, 2016 - 8:25:53 AM


  • HAL Id : tel-00749351, version 1


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



Record views


Files downloads