Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform

The Seventh IEEE Workshop on Future Trends of Distributed Computing Systems p. 119
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform
Thierry Villemur, IUT B Blagnac and LAAS du CNRS
Khalil Drira, LAAS du CNRS
Michel Diaz, LAAS du CNRS

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FTDCS.1999.818793
Send link to a friend

Abstract
This paper presents the design and the implementation of a distributed and generic group membership algorithm. The structure of the cooperative groups is defined and modeled by graphs. The group dynamics is modeled by valid configurations that are subgroups of members in which data exchanges can occur. A group membership service and an associated protocol that manage the dynamic cooperative groups are formally specified, designed and implemented by using the Charis Actor Portfolio environment, a formal actor platform based on the statechart model that generates portable JAVA code.
Back to Top Additional Information
Index Terms- Cooperative groups modeling, membership algorithms, formal design, actors, statechart, JAVA Citation: Thierry Villemur, Khalil Drira, Michel Diaz, "Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform," ftdcs, p. 119, The Seventh IEEE Workshop on Future Trends of Distributed Computing Systems, 1999

	Advanced Search
CS Search Google Search