Virtual Organizations in Arigatoni - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Virtual Organizations in Arigatoni

(1) , (1, 2) , (1)
1
2

Abstract

Arigatoni is a lightweight communication model that deploys the Global Computing Paradigm over the Internet. Communications over the behavioral units of the model are performed by a simple Global Internet Protocol (GIP) on top of TCP or UDP protocol. Basic Global Computers Units (GCU) 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 GCU from one colony to another. Our formalization results to be adequate w.r.t. the algorithm performing peer logging/delogging and colony aggregation.
Fichier principal
Vignette du fichier
Arigatoni_colonies_proc.pdf (221.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00911535 , version 1 (02-12-2013)

Identifiers

Cite

Michel Cosnard, Luigi Liquori, Raphael Chand. Virtual Organizations in Arigatoni. Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006), Jul 2006, Venice, Italy. pp.55-75, ⟨10.1016/j.entcs.2006.11.035⟩. ⟨hal-00911535⟩
214 View
83 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More