A framework for modelling and implementing self-organising coordination

Research fields like pervasive computing are showing that the interactions between components in large-scale, mobile, and open systems are highly affected by unpredictability: self-organising techniques are increasingly adopted within infrastructures aimed at managing such interactions in a robust and adaptive way. Accordingly, in this paper we discuss the framework of self-organising coordination: coordination media spread over the network are in charge of managing interactions with each other and with agents solely according to local criteria, making interesting and fruitful global properties of the resulting system appearing by emergence---probability and timing typically playing a crucial role. We show that the TuCSoN coordination infrastructure can be used as a general platform for enacting self-organising coordination; we put it to test on two cases: an inter-space application of adaptive tuple clustering, and a intra-space application of chemical-like coordination reactions.

[1]  Mirko Viroli,et al.  Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case , 2007, Electron. Notes Theor. Comput. Sci..

[2]  Franco Zambonelli,et al.  Towards a paradigm change in computer science and software engineering: a synthesis , 2003, The Knowledge Engineering Review.

[3]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[4]  Andrea Omicini,et al.  Timed environment for web agents , 2007, Web Intell. Agent Syst..

[5]  Mario Bravetti,et al.  Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model , 2004, COORDINATION.

[6]  Chris Melhuish,et al.  Stigmergy, Self-Organization, and Sorting in Collective Robotics , 1999, Artificial Life.

[7]  H. Van Dyke Parunak,et al.  Digital pheromone mechanisms for coordination of unmanned vehicles , 2002, AAMAS '02.

[8]  Daniel Le Métayer,et al.  Gamma and the chemical reaction model: ten years after , 1996 .

[9]  Marco Dorigo,et al.  Swarm intelligence: from natural to artificial systems , 1999 .

[10]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[11]  Diego Latella,et al.  Formal modeling and quantitative analysis of KLAIM-based mobile systems , 2005, SAC '05.

[12]  Andrea Omicini,et al.  Prototyping A&A ReSpecT in Maude , 2008, Electron. Notes Theor. Comput. Sci..

[13]  Mirko Viroli,et al.  Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks , 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[14]  Guy Theraulaz,et al.  Self-Organization in Biological Systems , 2001, Princeton studies in complexity.

[15]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[16]  Franco Zambonelli,et al.  A survey of autonomic communications , 2006, TAAS.

[17]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications with the TOTA middleware , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[18]  Andrea Omicini,et al.  Time-Aware Coordination in ReSpecT , 2005, COORDINATION.

[19]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[20]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[21]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[22]  Mario Bravetti,et al.  Quantitative information in the tuple space coordination model , 2005, Theor. Comput. Sci..

[23]  Ronaldo Menezes,et al.  Adaptiveness in Linda-Based Coordination Models , 2003, Engineering Self-Organising Systems.

[24]  Franco Zambonelli,et al.  Case studies for self-organization in computer science , 2006, J. Syst. Archit..

[25]  John S. Nicolis,et al.  Some views on the role of noise in “self”-organizing systems , 2004, Biological Cybernetics.

[26]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[27]  I. Prigogine,et al.  The end of certainty : time, chaos, and the new laws of nature , 1997 .