Virtual Organizations in Arigatoni |
| |
Authors: | Michel Cosnard Luigi Liquori Raphael Chand |
| |
Affiliation: | aINRIA, France |
| |
Abstract: | Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by a simple resource discovery protocol (RDP). Basic Global Computers Units (GC) can communicate by first registering to a brokering service and then by mutually asking and offering services.Colonies and communities are the main entities in the model. A colony is a simple virtual organization composed by exactly one leader and some set (possibly empty) of individuals. A community is a raw set of colonies and global computers (think it as a soup of colonies and global computer without a leader).We present an operational semantics via a labeled transition system, that describes the main operations necessary in the Arigatoni model to perform leader negotiation, joining/leaving a colony, linking two colonies and moving one GC from one colony to another. Our formalization results to be adequate w.r.t. the algorithm performing peer logging/delogging and colony aggregation. |
| |
Keywords: | Overlay network Arigatoni" target="_blank">Arigatoni virtual organization P2P system |
本文献已被 ScienceDirect 等数据库收录! |
|