An Asynchronous Distributed Component Model and Its Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

An Asynchronous Distributed Component Model and Its Semantics

Résumé

This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchronous invocations and component synchronisation. Our model is precise enough to enable the specification of a formal semantics. A variant of this model has been implemented, together with tools for managing components. This paper explains why we consider that our component model is efficient and provides a convenient programming model. We show how futures play a major role for such asynchronous components, and provide a reduction semantics for the component model. This reduction semantics has been specified in the Isabelle theorem prover, and will be used to prove properties on the component model and its implementations.
Fichier principal
Vignette du fichier
HENRIO.pdf (498.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00435145 , version 1 (23-11-2009)

Identifiants

  • HAL Id : inria-00435145 , version 1

Citer

Ludovic Henrio, Florian Kammüller, Marcela Rivera. An Asynchronous Distributed Component Model and Its Semantics. FMCO - 08, 2008, Sophia antiopolis, France. ⟨inria-00435145⟩
118 Consultations
153 Téléchargements

Partager

Gmail Facebook X LinkedIn More