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
Résumé : Depuis le milieu des années 1990, de nombreux modèles à composant ont vu le jour, comme Fractal développé par France Télécom et l'INRIA, OSGi développé par IBM, Click par le MIT, etc. Ces différents modèles ont tous pour but de pouvoir construire des programmes très larges et complexes, comme Eclipse basé sur OSGi ou la chaîne de compilation Fractal. Bien que ces modèles facilitent la conception de gros programmes, il est néanmoins toujours aisé de commettre des erreurs pouvant causer la levée d'une exception ou l'arrêt brutale du programme. Dans ce travail de thèse, nous nous intéressons à deux aspects de la validation des modèles à composant : nous définissons tout d'abord deux systèmes de types permettant de s'assurer qu'aucune erreur grave n'est présente dans un assemblage statique et typé ; nous étudions dans un simple langage de programmation Oz/K comment il est possible de décrire formellement l'interaction entre les composants et du code fonctionnel. Ce dernier langage nous a aussi permis d'étudier certaines commandes de manipulation d'assemblages qui seraient plus adaptées pour prouver des propriétés sur les programmes à base de composants.
Type de document :
Thèse
Informatique et langage [cs.CL]. Université Joseph-Fourier - Grenoble I, 2010. Français


https://tel.archives-ouvertes.fr/tel-00749351
Contributeur : Michael Lienhardt <>
Soumis le : vendredi 16 novembre 2012 - 14:07:06
Dernière modification le : mercredi 9 septembre 2015 - 01:04:37

Fichier

Identifiants

  • 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>

Exporter

Partager

Métriques

Consultations de
la notice

409

Téléchargements du document

96