loading...
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform
Tunisia, South Africa December 20-December 20
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FTDCS.1999.818793The Seventh IEEE Workshop on Future T ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Thierry Villemur, Khalil Drira, Michel Diaz, "Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform," Future Trends of Distributed Computing Systems, IEEE International Workshop, pp. 119, The Seventh IEEE Workshop on Future Trends of Distributed Computing Systems, 1999.
 
 
BibTex
x
 
@article{ 10.1109/FTDCS.1999.818793,
author = {Thierry Villemur and Khalil Drira and Michel Diaz},
title = {Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform},
journal ={Future Trends of Distributed Computing Systems, IEEE International Workshop},
volume = {0},
year = {1999},
issn = {1071-0485},
pages = {119},
doi = {http://doi.ieeecomputersociety.org/10.1109/FTDCS.1999.818793},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Future Trends of Distributed Computing Systems, IEEE International Workshop
TI - Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform
SN - 1071-0485
SP
EP
A1 - Thierry Villemur,
A1 - Khalil Drira,
A1 - Michel Diaz,
PY - 1999
KW - Cooperative groups modeling
KW - membership algorithms
KW - formal design
KW - actors
KW - statechart
KW - JAVA
VL - 0
JA - Future Trends of Distributed Computing Systems, IEEE International Workshop
ER -
 
Thierry Villemur, IUT B Blagnac and LAAS du CNRS
Khalil Drira, LAAS du CNRS
Michel Diaz, LAAS du CNRS
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.
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, pp.119, The Seventh IEEE Workshop on Future Trends of Distributed Computing Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.