Behavioural Models for Group Communications

Rabéa Ameur-Boulifa
(Telecom Paristech, Sophia Antipolis, France)
Ludovic Henrio
(INRIA, CNRS, I3S, University of Nice Sophia-Antipolis, Sophia Antipolis, France)
Eric Madelaine
(INRIA, CNRS, I3S, University of Nice Sophia-Antipolis, Sophia Antipolis, France)

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.

In Javier Cámara, Carlos Canal and Gwen Salaün: Proceedings International Workshop on Component and Service Interoperability (WCSI 2010), Málaga, Spain , 29th June 2010, Electronic Proceedings in Theoretical Computer Science 37, pp. 42–56.
Published: 12th October 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.37.4 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org