The mobile groups approach for the coordination of mobile agents

We present the concept of mobile groups as a basic mechanism for the reliable coordination of mobile agents. Analogously to traditional group systems, mobile groups also provide message delivery guarantees and virtual synchrony. Furthermore, they make agent mobility not only visible for the group, but also consistently ordered with other group actions (such as crashes, joins, leaves, and other migrations). The mobile groups approach represents a novel mobility support mechanism, which can be used to handle reliability of mobile agents required at both, the application and system level (e.g., for coordinating distributed agents and for reliable agent migration, respectively). In this paper, we discuss the motivations for the mobile groups approach, formally define their properties, and present a membership protocol for such groups. We also discuss some implementation issues and related performance data, and present the advantages of mobile groups against mechanisms commonly employed for the coordination of mobile agents.