Spatial awareness in pervasive ecosystems

Pervasive systems are intended to make use of services and components that they encounter in their environment. Such systems are naturally spatial in that they can only be understood in terms of the ways in which components meet and interact in space. Rather than treating spatiality separately from system components, researchers are starting to develop computational models in which the entire structure of a pervasive system is modelled and constructed using an explicit spatial model, supporting multi-level spatial reasoning, and adapting autonomously to spatial interactions. In this paper, we review current and emerging models of spatial computing for pervasive ecosystems, and highlight some of the trends that will guide future research.

[1]  Franco Zambonelli,et al.  Tuple centres for the coordination of Internet agents , 1999, SAC '99.

[2]  Michael C. Mozer,et al.  The Neural Network House: An Environment that Adapts to its Inhabitants , 1998 .

[3]  Yu-Chee Tseng,et al.  The Broadcast Storm Problem in a Mobile Ad Hoc Network , 1999, Wirel. Networks.

[4]  Marjan Mernik,et al.  Formal and Practical Aspects of Domain-Specific Languages: Recent Developments , 2012 .

[5]  Roy H. Campbell,et al.  MiddleWhere: A Middleware for Location Awareness in Ubiquitous Computing Applications , 2004, Middleware.

[6]  André Schiper,et al.  Probabilistic broadcast for flooding in wireless mobile ad hoc networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[7]  Jacob Beal,et al.  Building Blocks for Aggregate Programming of Self-Organising Applications , 2014, 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[8]  Gregory D. Abowd,et al.  Distributed mediation of ambiguous context in aware environments , 2002, UIST '02.

[9]  Christine Julien,et al.  Scenes: Abstracting interaction in immersive sensor networks , 2007, Pervasive Mob. Comput..

[10]  Jeffrey Hightower,et al.  From Position to Place , 2003 .

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

[12]  Franco Zambonelli,et al.  Injecting Self-Organisation into Pervasive Service Ecosystems , 2012, Mobile Networks and Applications.

[13]  Charles E. Perkins,et al.  Ad hoc On-Demand Distance Vector (AODV) Routing , 2001, RFC.

[14]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[15]  Jie Gao,et al.  Hierarchical Spatial Gossip for Multi-Resolution Representations in Sensor Networks , 2011, 2007 6th International Symposium on Information Processing in Sensor Networks.

[16]  Mario Gerla,et al.  Efficient flooding in ad hoc networks: a comparative performance study , 2003, IEEE International Conference on Communications, 2003. ICC '03..

[17]  A. Dimakis,et al.  Geographic gossip: efficient aggregation for sensor networks , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[18]  Elvino S. Sousa,et al.  Adaptive Cluster-Based Data Collection in Sensor Networks with Direct Sink Access , 2008, IEEE Transactions on Mobile Computing.

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

[20]  Jose Luis Fernandez-Marquez,et al.  Engineering Spatial Services: Concepts, Architecture, and Execution Models , 2014 .

[21]  James A. Landay,et al.  Modeling Privacy Control in Context-Aware Systems , 2002, IEEE Pervasive Comput..

[22]  Marco Mamei,et al.  Applying Commonsense Reasoning to Place Identification , 2010, Int. J. Handheld Comput. Res..

[23]  Franco Zambonelli,et al.  Spatial Computing: An Emerging Paradigm for Autonomic Computing and Communication , 2004, WAC.

[24]  Alois Ferscha,et al.  Collective Attention through Public Displays , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems.

[25]  Christian Becker,et al.  An epidemic model for information diffusion in MANETs , 2002, MSWiM '02.

[26]  Atif M. Memon,et al.  Automatically repairing event sequence-based GUI test suites for regression testing , 2008, TSEM.

[27]  Franco Zambonelli,et al.  Self-managing and self-organising mobile computing applications: a separation of concerns approach , 2014, SAC.

[28]  Hugo Liu,et al.  ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .

[29]  Andreas Savvides,et al.  Towards Cooperative Localization of Wearable Sensors using Accelerometers and Cameras , 2010, 2010 Proceedings IEEE INFOCOM.

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

[31]  Rekha Jain,et al.  Wireless Sensor Network -A Survey , 2013 .

[32]  Joao Barros,et al.  Programming Wireless Sensor Networks , 2009, Middleware for Network Eccentric and Mobile Applications.

[33]  Mario Gerla,et al.  Fisheye State Routing in Mobile Ad Hoc Networks , 2000, ICDCS Workshop on Wireless Networks and Mobile Computing.

[34]  Dinh Q. Phung,et al.  A probabilistic model with parsinomious representation for sensor fusion in recognizing activity in pervasive environment , 2006, 18th International Conference on Pattern Recognition (ICPR'06).

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

[36]  Hui Lei,et al.  Composing pervasive data using iQL , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[37]  Gene Tsudik,et al.  Flooding for Reliable Multicast in Multi-Hop Ad Hoc Networks , 1999, DIALM '99.

[38]  Fritz Hohl,et al.  Next century challenges: Nexus—an open global infrastructure for spatial-aware applications , 1999, MobiCom.

[39]  Juan Ye,et al.  Resolving Uncertainty in Context Integration and Abstraction , 2008 .

[40]  Jie Yang,et al.  Sensor Fusion Using Dempster-Shafer Theory , 2002 .

[41]  H. Penny Nii,et al.  Blackboard Systems, Part One: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures , 1986, AI Mag..

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

[43]  Gaetano Borriello,et al.  The location stack: a layered model for location in ubiquitous computing , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[44]  Simon A. Dobson,et al.  Resolving uncertainty in context integration and abstraction: context integration and abstraction , 2008, ICPS '08.

[45]  Franco Zambonelli,et al.  A Bio-chemical Approach to Awareness in Pervasive Systems , 2013, SENSEMINE@SenSys.

[46]  István Hegedüs,et al.  Gossip learning with linear models on fully distributed data , 2011, Concurr. Comput. Pract. Exp..

[47]  Jörg Widmer,et al.  In-network aggregation techniques for wireless sensor networks: a survey , 2007, IEEE Wireless Communications.

[48]  Peter Steenkiste,et al.  A Hybrid Location Model with a Computable Location Identifier for Ubiquitous Computing , 2002, UbiComp.

[49]  Mirko Viroli,et al.  Gradient-Based Self-Organisation Patterns of Anticipative Adaptation , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems.

[50]  Jadwiga Indulska,et al.  A survey of context modelling and reasoning techniques , 2010, Pervasive Mob. Comput..

[51]  Pramod K. Varshney,et al.  Distributed Detection and Fusion in a Large Wireless Sensor Network of Random Size , 2005, EURASIP J. Wirel. Commun. Netw..

[52]  Jose Luis Fernandez-Marquez,et al.  Self-Organising Services , 2013, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems.

[53]  Simon A. Dobson,et al.  LOC8: A Location Model and Extensible Framework for Programming with Location , 2010, IEEE Pervasive Computing.

[54]  Simon A. Dobson,et al.  Situation identification techniques in pervasive computing: A review , 2012, Pervasive Mob. Comput..

[55]  Jeffrey Heer,et al.  liquid: Context-Aware Distributed Queries , 2003, UbiComp.

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

[57]  Soundararajan Srinivasan,et al.  Multisensor Fusion in Smartphones for Lifestyle Monitoring , 2010, 2010 International Conference on Body Sensor Networks.

[58]  Biplab Sikdar,et al.  A Swarm-Intelligence-Based Protocol for Data Acquisition in Networks with Mobile Sinks , 2008, IEEE Transactions on Mobile Computing.

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

[60]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[61]  David E. Culler,et al.  Analysis of wireless sensor networks for habitat monitoring , 2004 .

[62]  Johannes Gehrke,et al.  Query Processing in Sensor Networks , 2003, CIDR.

[63]  Krishnendu Chakrabarty,et al.  Location-aided flooding: an energy-efficient data dissemination protocol for wireless-sensor networks , 2005, IEEE Transactions on Computers.

[64]  Gregory D. Abowd,et al.  A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications , 2001, Hum. Comput. Interact..

[65]  Franco Zambonelli,et al.  A context-sensitive infrastructure for coordinating agents in ubiquitous environments , 2009, Multiagent Grid Syst..

[66]  Hari Balakrishnan,et al.  The design and implementation of an intentional naming system , 1999, SOSP.

[67]  Luca Mottola,et al.  Programming wireless sensor networks , 2011, ACM Comput. Surv..

[68]  Romit Roy Choudhury,et al.  SurroundSense: mobile phone localization using ambient sound and light , 2009, MOCO.

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

[70]  Franco Zambonelli,et al.  Mobile-Agent Coordination Models for Internet Applications , 2000, Computer.

[71]  Simon A. Dobson,et al.  KCAR: A knowledge-driven approach for concurrent activity recognition , 2015, Pervasive Mob. Comput..

[72]  Luca Mottola,et al.  Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks , 2006, DCOSS.

[73]  Jason I. Hong.  The context fabric: an infrastructure for context-aware computing , 2002, CHI Extended Abstracts.

[74]  Jacob Beal,et al.  Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields , 2015, FORTE.

[75]  Márk Jelasity,et al.  Gossip-based aggregation in large dynamic networks , 2005, TOCS.

[76]  Matthias Kranz,et al.  CODAR Viewer - A V2V Communication Awareness Display , 2008 .

[77]  Franco Zambonelli,et al.  Self-organizing virtual macro sensors , 2012, TAAS.

[78]  Anne-Marie Kermarrec,et al.  Lightweight probabilistic broadcast , 2003, TOCS.

[79]  Mirko Viroli,et al.  Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[80]  Mirko Viroli,et al.  Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks , 2013, SAC '13.

[81]  Mirko Viroli,et al.  On the Space-time Situation of Pervasive Service Ecosystems , 2012 .

[82]  Jean-Louis Giavitto,et al.  Topological rewriting and the geometrization of programming , 2008 .

[83]  Bradley J. Rhodes,et al.  The wearable remembrance agent: A system for augmented memory , 1997, Digest of Papers. First International Symposium on Wearable Computers.

[84]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[85]  Oliver Sawodny,et al.  Coverage Control with Information Decay in Dynamic Environments , 2008 .

[86]  Jadwiga Indulska,et al.  A software engineering framework for context-aware pervasive computing , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[87]  Mirko Viroli,et al.  A Calculus of Self-stabilising Computational Fields , 2014, COORDINATION.

[88]  James A. Landay,et al.  An Infrastructure Approach to Context-Aware Computing , 2001, Hum. Comput. Interact..

[89]  Franco Zambonelli,et al.  Extracting High-Level Information from Location Data: The W4 Diary Example , 2009, Mob. Networks Appl..

[90]  Henry A. Kautz,et al.  Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields , 2007, Int. J. Robotics Res..

[91]  Simon Dobson,et al.  Leveraging the subtleties of location , 2005, sOc-EUSAI '05.

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

[93]  Amy L. Murphy,et al.  Programming Wireless Sensor Networks with the TeenyLimeMiddleware , 2007, Middleware.

[94]  Minyi Guo,et al.  Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments , 2009, 2009 International Conference on Computational Science and Engineering.

[95]  Ming Li,et al.  Design and implementation of a large-scale context fusion network , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[96]  Franco Zambonelli,et al.  Bridging vision and commonsense for multimodal situation recognition in pervasive systems , 2012, 2012 IEEE International Conference on Pervasive Computing and Communications.

[97]  Simon A. Dobson,et al.  A Unified Semantics Space Model , 2007, LoCA.

[98]  Raja Ramanathan,et al.  Handbook of Research on Architectural Trends in Service-Driven Computing , 2014 .

[99]  Franco Zambonelli,et al.  Diffusive load-balancing policies for dynamic applications , 1999, IEEE Concurr..

[100]  Guanling Chen,et al.  Context aggregation and dissemination in ubiquitous computing systems , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[101]  Arthur P. Dempster,et al.  A Generalization of Bayesian Inference , 1968, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[102]  J. Broch,et al.  Dynamic source routing in ad hoc wireless networks , 1998 .

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

[104]  Dharma P. Agrawal,et al.  Dynamic probabilistic broadcasting in MANETs , 2005, J. Parallel Distributed Comput..

[105]  Simon A. Dobson,et al.  Activity recognition using temporal evidence theory , 2010, J. Ambient Intell. Smart Environ..

[106]  Michel Banâtre,et al.  A Spatial Computing Approach for Integrity Checking of Objects Groups , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop.

[107]  Andrea Omicini,et al.  Design Patterns for Self-Organizing Multiagent Systems , 2007 .