Space-aware Coordination in ReSpecT

Spatial issues are essential in new classes of complex software systems, such as pervasive, multi-agent, and selforganising ones. Understanding the basic mechanisms of spatial coordination is a fundamental issue for coordination models and languages in order to deal with such systems, governing situated interaction in the spatio-temporal fabric. Along this line, in this paper we make space-aware coordination media out of ReSpecT tuple centres, by introducing the few basic mechanisms and constructs that enable the ReSpecT language to face most of the main challenges of spatial coordination in complex software systems.

[1]  Franco Zambonelli,et al.  Self-aware Pervasive Service Ecosystems , 2011, FET.

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

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

[4]  Andrea Omicini,et al.  Nature-Inspired Coordination Models: Current Status and Future Trends , 2013 .

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

[6]  Andrea Omicini,et al.  Formal ReSpecT , 2001, APPIA-GULP-PRODE.

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

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

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

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

[11]  David Garlan,et al.  Coordination Languages and Models , 1996, Lecture Notes in Computer Science.

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

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

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

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

[16]  Westone,et al.  Home Page , 2004, 2022 2nd International Conference on Intelligent Cybernetics Technology & Applications (ICICyTA).

[17]  Andrea Omicini,et al.  Situated tuple centres in ReSpecT , 2009, SAC '09.