Skip to Main content Skip to Navigation
Conference papers

Virtual Organizations in Arigatoni

Michel Cosnard 1 Luigi Liquori 1, 2 Raphael Chand 1
1 MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-00911535
Contributor : Luigi Liquori <>
Submitted on : Monday, December 2, 2013 - 3:27:52 PM
Last modification on : Wednesday, October 14, 2020 - 4:24:01 AM
Long-term archiving on: : Monday, March 3, 2014 - 7:42:27 PM

File

Arigatoni_colonies_proc.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

454

Files downloads

287