Spatial Tuples: Augmenting reality with tuples

We introduce Spatial Tuples, an extension of the basic tuple‐based model for distributed multi‐agent system coordination where (a) tuples are conceptually placed in regions of the physical world and possibly move anchored to a mobile computational device, (b) the behaviour of standard Linda coordination primitives is extended so as to depend on the spatial properties of the coordinating agents, tuples, and the topology of space, and (c) the tuple space can be conceived as a virtual layer augmenting physical reality. Motivated by the needs of mobile augmented‐reality applications, Spatial Tuples explicitly aims at supporting space‐aware and space‐based coordination in agent‐based pervasive computing scenarios. This paper presents the coordination model, its formalization as a process algebra, a library of patterns of coordination it enables, and a discussion of application scenarios, challenges, and open issues for future works.

[1]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[2]  Tohru Ogawa,et al.  A new algorithm for three-dimensional voronoi tessellation , 1983 .

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

[4]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .

[5]  Antonio Brogi,et al.  The concurrent language, Shared Prolog , 1991, TOPL.

[6]  Paolo Ciancarini,et al.  Coordination models and languages as software integrators , 1996, CSUR.

[7]  P. Wegner.  Coordination as Comstrainted Interaction (Extended Abstract) , 1996, COORDINATION.

[8]  Ronald Azuma,et al.  A Survey of Augmented Reality , 1997, Presence: Teleoperators & Virtual Environments.

[9]  Andrea Omicini,et al.  Programmable Coordination Media , 1997, COORDINATION.

[10]  Reda Alhajj,et al.  A multi-agent tuple-space based problem solving framework , 1999, J. Syst. Softw..

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

[12]  Victoria Ungureanu,et al.  Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.

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

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

[15]  Davide Rossi,et al.  Tuple-based Technologies for Coordination , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[16]  Thad Starner.  Wearable Computers: No Longer Science Fiction , 2002, IEEE Pervasive Comput..

[17]  John Krumm,et al.  Location-aware computing comes of age , 2004, Computer.

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

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

[20]  H. Van Dyke Parunak,et al.  A Survey of Environments and Mechanisms for Human-Human Stigmergy , 2005, E4MAS.

[21]  Amy L. Murphy,et al.  LIME: A coordination model and middleware supporting mobility of hosts and agents , 2006, TSEM.

[22]  Andrea Omicini,et al.  Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts , 2006, E4MAS.

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

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

[25]  Andrea Omicini,et al.  Formal ReSpecT in the A&A Perspective , 2007, FOCLASA.

[26]  Morten Fjeld,et al.  Mixed Reality: A Survey , 2009, Human Machine Interaction.

[27]  Gunnar Johannsen,et al.  Human-Machine Interaction , 2019, CIRP Encyclopedia of Production Engineering.

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

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

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

[31]  Jacob Beal,et al.  Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments , 2012, COORDINATION.

[32]  Madison N. Ngafeeson,et al.  E-Government Diffusion: Evidence from the Last Decade , 2013, Int. J. Electron. Gov. Res..

[33]  Andrea Omicini,et al.  Space-aware Coordination in ReSpecT , 2013, WOA@AI*IA.

[34]  Marc Benioff,et al.  Age of Context: Mobile, Sensors, Data and the Future of Privacy , 2013 .

[35]  Alessandro Ricci,et al.  Smart Augmented Fields for Emergency Operations , 2015, EUSPN/ICTH.

[36]  Franco Zambonelli,et al.  Developing pervasive multi-agent systems with nature-inspired coordination , 2015, Pervasive Mob. Comput..

[37]  Franco Zambonelli,et al.  A coordination model of pervasive service ecosystems , 2015, Sci. Comput. Program..

[38]  Alessandro Ricci,et al.  The Mirror World: Preparing for Mixed-Reality Living , 2015, IEEE Pervasive Computing.

[39]  Qun Li,et al.  A Survey of Fog Computing: Concepts, Applications and Issues , 2015, Mobidata@MobiHoc.

[40]  Jacob Beal,et al.  Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields , 2015, 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems.

[41]  Jacob Beal,et al.  Aggregate Programming for the Internet of Things , 2015, Computer.

[42]  Bob Familiar.  Microservices, IoT, and Azure , 2015, Apress.

[43]  Andrea Omicini,et al.  Labelled Variables in Logic Programming: Foundations , 2016, CILC.

[44]  Andrea Omicini,et al.  Spatial Tuples: Augmenting Physical Reality with Tuple Spaces , 2016, IDC.

[45]  Jacob Beal,et al.  Self-Adaptation to Device Distribution Changes , 2016, 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).

[46]  Weisong Shi,et al.  The Promise of Edge Computing , 2016, Computer.