On the collective sort problem for distributed tuple spaces

In systems coordinated with a distributed set of tuple spaces, it is crucial to assist agents in retrieving the tuples they are interested in. This can be achieved by sorting techniques that group similar tuples together in the same tuple space, so that the position of a tuple can be inferred by similarity. Accordingly, we formulate the collective sort problem for distributed tuple spaces, where a set of agents is in charge of moving tuples up to a complete sort has been reached, namely, each of the N tuple spaces aggregate tuples belonging to one of the N kinds available. After pointing out the requirements for effectively tackling this problem, we propose a self-organizing solution resembling brood sorting performed by ants. This is based on simple agents that perform partial observations and accordingly take decisions on tuple movement. Convergence is addressed by a fully adaptive method for simulated annealing, based on noise tuples inserted and removed by agents on a need basis so as to avoid sub-optimal sorting. Emergence of sorting properties and scalability are evaluated through stochastic simulations.

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

[2]  Baochun Li,et al.  A Distributed Framework for Correlated Data Gathering in Sensor Networks , 2008, IEEE Transactions on Vehicular Technology.

[3]  Barbara Webb,et al.  Swarm Intelligence: From Natural to Artificial Systems , 2002, Connect. Sci..

[4]  Ronaldo Menezes,et al.  A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.

[5]  Mirko Viroli,et al.  On engineering selforganizing environments: Stochastic methods for dynamic resource allocation , 2006, AAMAS 2006.

[6]  Radhika Nagpal,et al.  Automated global-to-local programming in 1-D spatial multi-agent systems , 2008, AAMAS.

[7]  Yaneer Bar-Yam,et al.  Dynamics Of Complex Systems , 2019 .

[8]  Baldo Faieta,et al.  Diversity and adaptation in populations of clustering ants , 1994 .

[9]  Wolfgang Christian,et al.  Dynamics of Complex Systems (Studies in Nonlinearity) , 1998 .

[10]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[11]  Andrea Omicini,et al.  Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005 , 2005, SAC.

[12]  Andrea Omicini,et al.  On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in , 2005, Engineering Self-Organising Systems.

[13]  Anil K. Jain,et al.  Data clustering: a review , 1999, CSUR.

[14]  Mitchel Resnick,et al.  Turtles, termites, and traffic jams - explorations in massively parallel microworlds , 1994 .

[15]  Stewart W. Wilson,et al.  From Animals to Animats 5. Proceedings of the Fifth International Conference on Simulation of Adaptive Behavior , 1997 .

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

[17]  Balqies Sadoun Applied system simulation: a review study , 2000, Inf. Sci..

[18]  Scott Camazine,et al.  Self-organizing pattern formation on the combs of honey bee colonies , 2004, Behavioral Ecology and Sociobiology.

[19]  Luca Maria Gambardella,et al.  The SWARM-BOTS Project , 2004, Künstliche Intell..

[20]  Jean-Arcady Meyer,et al.  Collective sorting and segregation in robots with minimal sensing , 1998 .

[21]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

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

[23]  David Gelernter,et al.  Multiple Tuple Spaces in Linda , 1989, PARLE.

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

[25]  Deborah Estrin,et al.  The impact of data aggregation in wireless sensor networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[26]  Jean-Arcady Meyer,et al.  From Animals to Animats: Proceedings of The First International Conference on Simulation of Adaptive Behavior (Complex Adaptive Systems) , 1990 .

[27]  Chris Melhuish,et al.  Ant-inspired sorting by robots: the importance of initial clustering , 2006, Journal of The Royal Society Interface.

[28]  Mirko Viroli,et al.  A self-organising solution to the collective sort problem in distributed tuple spaces , 2007, SAC '07.

[29]  Jean-Louis Deneubourg,et al.  The dynamics of collective sorting robot-like ants and ant-like robots , 1991 .

[30]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[31]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[32]  Jan J. M. M. Rutten,et al.  Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.

[33]  D. Cliff From animals to animats 3 : proceedings of the Third International Conference on Simulation of Adaptive Behavior , 1994 .

[34]  Alexander S. Szalay,et al.  Data Management in the Worldwide Sensor Web , 2007, IEEE Pervasive Computing.

[35]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[36]  Hisham M. Haddad,et al.  Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007 , 2007, SAC.

[37]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[38]  Franco Zambonelli,et al.  Programming stigmergic coordination with the TOTA middleware , 2005, AAMAS '05.

[39]  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.

[40]  N. Franks,et al.  Brood sorting by ants: distributing the workload over the work-surface , 1992, Behavioral Ecology and Sociobiology.

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

[42]  Luca Mottola,et al.  Efficient Routing from Multiple Sources to Multiple Sinks in Wireless Sensor Networks , 2007, EWSN.

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