Une machine virtuelle répartie pour la programmation de processus mobiles

by Marc Lacoste

Doctoral thesis in Systèmes de communication

Under the supervision of Sacha Krakowiak.

defended on 2003

in Grenoble 1 .

  • Alternative Title

    A distributed virtual machine for programming mobile processes


  • Abstract not available

    keywords keywords


  • Abstract

    La construction d'infrastructures fiables de programmation répartie sur des réseaux à large échelle ("global computing") se heurte à une double difficulté: un manque de cadre de référence pour les primitives de programmation; et une divergence théorie-pratique de la programmation répartie. Cette thèse explore l'intérêt des domaines comme abstraction fondamentale pour le "global computing". Un domaine capture de manière uniforme les partitions d'un système réparti. Nous montrons que les domaines sont directement implantables en utilisant une méthodologie de construction de systèmes par raffinements successifs: modèle formel de programmation répartie > spécification formelle > implantation. Nous appliquons cette démarche à un modèle de programmation répartie à base de domaines, le M-calcul: nous définissons une machine abstraite répartie et une machine virtuelle pour ce calcul. L'évaluation montre la viabilité de l'approche proposée pour la construction d'infrastructures fiables.

Consult library

Version is available as a paper

Informations

  • Details : 1 vol. (XVI-206 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 195-206

Where is this thesis?

  • Library : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Unvailable for PEB
  • Odds : TS03/GRE1/0114
  • Library : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Available for PEB
  • Odds : TS03/GRE1/0114/D

This version is also available in microfiche :

See the Sudoc catalog libraries of higher education and research.