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 metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Monday, December 2, 2013 - 3:27:52 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:09 PM
Long-term archiving on: : Monday, March 3, 2014 - 7:42:27 PM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles