An Asynchronous Distributed Component Model and Its Semantics

Ludovic Henrio 1 Florian Kammüller 2 Marcela Rivera 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Type de document :
Communication dans un congrès
FMCO - 08, 2008, Sophia antiopolis, France. 2009
Liste complète des métadonnées


https://hal.inria.fr/inria-00435145
Contributeur : Ludovic Henrio <>
Soumis le : lundi 23 novembre 2009 - 16:25:36
Dernière modification le : lundi 23 novembre 2009 - 17:17:08
Document(s) archivé(s) le : mardi 16 octobre 2012 - 14:41:29

Fichier

HENRIO.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00435145, version 1

Collections

Citation

Ludovic Henrio, Florian Kammüller, Marcela Rivera. An Asynchronous Distributed Component Model and Its Semantics. FMCO - 08, 2008, Sophia antiopolis, France. 2009. <inria-00435145>

Partager

Métriques

Consultations de
la notice

209

Téléchargements du document

111