Behavioural models for group communications

Rabéa Ameur-Boulifa 1 Ludovic Henrio 2 Eric Madelaine 2
2 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 : Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a single object accessed in a single step; communications are then broadcasted to all members. This paper provides models for automatic verification of group-based applications, typically for detecting deadlocks or checking message ordering. We show how to encode group communication, together with different forms of synchronisation for group results. The proposed models are parametric such that, for example, different group sizes or group members could be experimented with the minimum modification of the original model.
Type de document :
Communication dans un congrès
Int. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p., 2010
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger
Contributeur : Eric Madelaine <>
Soumis le : lundi 21 juin 2010 - 09:50:32
Dernière modification le : lundi 21 juin 2010 - 14:16:27
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 17:57:57


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00493692, version 1



Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Behavioural models for group communications. Int. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p., 2010. 〈inria-00493692〉



Consultations de
la notice


Téléchargements du document