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 , 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.
Type de document :
Communication dans un congrès
Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006), Jul 2006, Venice, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 171 - issue 3 (3), pp.55-75, 2007, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2006.11.035>
Liste complète des métadonnées


https://hal.inria.fr/hal-00911535
Contributeur : Luigi Liquori <>
Soumis le : lundi 2 décembre 2013 - 15:27:52
Dernière modification le : jeudi 9 juillet 2015 - 14:41:56
Document(s) archivé(s) le : lundi 3 mars 2014 - 19:42:27

Fichier

Arigatoni_colonies_proc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Elsevier, Electronic Notes in Theoretical Computer Science, 171 - issue 3 (3), pp.55-75, 2007, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2006.11.035>. <hal-00911535>

Partager

Métriques

Consultations de
la notice

175

Téléchargements du document

95