Virtual Organizations in Arigatoni

被引：1

作者：

Cosnard, Michel ^{[1
]}

Liquori, Luigi ^{[1
]}

Chand, Raphael ^{[1
]}

机构：

[1] INRIA, Rennes, France

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2007年 / 171卷 / 03期

关键词：

Overlay network; Arigatoni; virtual organization; P2P system;

D O I：

10.1016/j.entcs.2006.11.035

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：55 / 75

页数：21