Behavioural models for group communications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Behavioural models for group communications

Résumé

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.
Fichier principal
Vignette du fichier
Paper2010.pdf (170.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00493692 , version 1 (21-06-2010)

Identifiants

  • HAL Id : inria-00493692 , version 1

Citer

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. ⟨inria-00493692⟩
151 Consultations
142 Téléchargements

Partager

Gmail Facebook X LinkedIn More