Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

We present a vision of distributed system coordination as a set of activities affecting the space-time fabric of interaction events. In the tuple space setting that we consider, coordination amounts to control of the spatial and temporal configuration of tuples spread across the network, which in turn drives the behaviour of situated agents. We therefore draw on prior work in spatial computing and distributed systems coordination, to define a new coordination language that adds to the basic Linda primitives a small set of space-time constructs for linking coordination processes with their environment. We show how this framework supports the global-level emergence of adaptive coordination policies, applying it to two example cases: crowd steering in a pervasive computing scenario and a gradient-based implementation of Linda primitives for mobile ad-hoc networks.

[1]  Jacob Beal,et al.  Infrastructure for engineered emergence on sensor/actuator networks , 2006, IEEE Intelligent Systems.

[2]  L. Cardelli,et al.  Interactions of Biological Membranes , 2005 .

[3]  Jacob Beal,et al.  Core operational semantics of Proto , 2011, SAC '11.

[4]  Andrea Omicini,et al.  Coordination models and languages: from parallel computing to self-organisation , 2011, The Knowledge Engineering Review.

[5]  Gabriela Lindemann,et al.  Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings , 2007, CEEMAS.

[6]  Ian Stark,et al.  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.

[7]  Franco Zambonelli,et al.  Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.

[8]  Mirko Viroli,et al.  A chemical inspired simulation framework for pervasive services ecosystems , 2011, 2011 Federated Conference on Computer Science and Information Systems (FedCSIS).

[9]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[10]  Jacob Beal,et al.  A Basis Set of Operators for Space-Time Computations , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop.

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

[12]  Franco Zambonelli,et al.  MARS: A Programmable Coordination Architecture for Mobile Agents , 2000, IEEE Internet Comput..

[13]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[14]  Andrea Omicini,et al.  An algebraic approach for modelling organisation, roles and contexts in MAS , 2005, Applicable Algebra in Engineering, Communication and Computing.

[15]  Luca Cardelli,et al.  Brane Calculi Interactions of Biological Membranes , 2004 .

[16]  Andrea Omicini,et al.  Design Patterns for Self-organising Systems , 2007, CEEMAS.

[17]  Mirko Viroli,et al.  Pervasive ecosystems: a coordination model based on semantic chemistry , 2012, SAC '12.

[18]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[19]  Andrea Omicini,et al.  Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research , 2005, SELMAS.

[20]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[21]  Rocco De Nicola,et al.  Klava: a Java package for distributed and mobile applications , 2002, Softw. Pract. Exp..

[22]  Roberto Gorrieri,et al.  On the Expressiveness of Linda Coordination Primitives , 2000, Inf. Comput..

[23]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications: The TOTA approach , 2009, TSEM.

[24]  Luca Cardelli,et al.  Processes in Space , 2010, CiE.

[25]  Yolande Berbers,et al.  Geo-Linda: a Geometry Aware Distributed Tuple Space , 2007, 21st International Conference on Advanced Information Networking and Applications (AINA '07).

[26]  Michel Banâtre,et al.  Ambient computing applications: an experience with the SPREAD approach , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[27]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[28]  Mirko Viroli,et al.  Description and composition of bio-inspired design patterns: a complete overview , 2012, Natural Computing.

[29]  Jacob Beal,et al.  Organizing the Aggregate: Languages for Spatial Computing , 2012, ArXiv.

[30]  Jacob Beal,et al.  Flexible self-healing gradients , 2009, SAC '09.

[31]  Mirko Viroli,et al.  Biochemical Tuple Spaces for Self-organising Coordination , 2009, COORDINATION.

[32]  C. R. Ramakrishnan,et al.  A process calculus for Mobile Ad Hoc Networks , 2008, Sci. Comput. Program..

[33]  Mohamed Bakhouya.  Special Issue: Adaptive Service Discovery and Composition in Ubiquitous and Pervasive Computing , 2011, TAAS.

[34]  Fernando Ferreira,et al.  Programs, Proofs, Processes , 2012, Theory of Computing Systems.

[35]  Paulo S. C. Alencar,et al.  Software Engineering for Multi-Agent Systems II , 2004 .

[36]  Jacob Beal,et al.  Continuous Space-Time Semantics Allow Adaptive Program Execution , 2007, First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007).

[37]  Sergiu M. Dascalu,et al.  Unit-level test adequacy criteria for visual dataflow languages and a testing methodology , 2008, TSEM.

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

[39]  Jacob Beal,et al.  Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World , 2011, TAAS.

[40]  Giovanna Di Marzo Serugendo,et al.  Self-organising Systems , 2011, Self-organising Software.