Supporting ubiquitous sensor-cloudlets and context-cloudlets: Programming compositions of context-aware systems for mobile users

Increasing widespread use of sensor and networking technologies are yielding ubiquitous sensors and applications that pervade daily life. At the same time, context-aware pervasive computing has experienced tremendous developments in terms of context modelling and reasoning, and applications. Such developments coupled with a cloud computing model are yielding sensor-cloudlets and context-cloudlets based on sensors and applications deployed as services that can be harnessed in applications on-demand, ad-hoc and on a pay-per-use model. Sensor-cloudlets and context-cloudlets depend on and adapt to the available resources at the time, and involve context-aware systems (including sensors) that need to be dynamically composed as needed. This paper first outlines current trends and key issues and challenges in sensor-cloudlets and context-cloudlets. We then present a key contribution of this paper, which is an application of an abstract model of context-aware systems for specifying compositions of context-aware systems used in sensor-cloudlets and context-cloudlets. We show how expressions in our formalism can be embedded into a programming language (which we show via an example extending the logic programming language Prolog). We then present numerous examples illustrating applications expressed in our extended Prolog language. We also show how compositions specified in our formalism supports estimating the reliability and cost of using such compositions of resources in computations, in a well-defined semantics. Finally, we describe meta-level control operators on evaluation of queries posed to compositions of resources and specify a service-based interface on context-aware systems. We conclude with issues to be tackled in the future.

[1]  Emiliano Miluzzo,et al.  The BikeNet mobile sensing system for cyclist experience mapping , 2007, SenSys '07.

[2]  Anne H. H. Ngu,et al.  Configurable Composition and Adaptive Provisioning of Web Services , 2009, IEEE Transactions on Services Computing.

[3]  Jadwiga Indulska,et al.  Developing context-aware pervasive computing applications: Models and approach , 2006, Pervasive Mob. Comput..

[4]  Cristian Borcea,et al.  The Urbanet Revolution: Sensor Power to the People! , 2007, IEEE Pervasive Computing.

[5]  Tuan Nguyen,et al.  PlaceSense: A Tool for Sensing Communities , 2009, 2009 4th International Symposium on Wireless Pervasive Computing.

[6]  Stathes Hadjiefthymiades,et al.  Enhancing Situation-Aware Systems through Imprecise Reasoning , 2008, IEEE Transactions on Mobile Computing.

[7]  Rajkumar Buyya,et al.  Aneka—Integration of Private and Public Clouds , 2011 .

[8]  Chris Rose,et al.  A Break in the Clouds: Towards a Cloud Definition , 2011 .

[9]  Peter Steenkiste,et al.  Providing contextual information to pervasive computing applications , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

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

[11]  Simon A. Dobson,et al.  Representing and Manipulating Situation Hierarchies using Situation Lattices , 2008, Rev. d'Intelligence Artif..

[12]  Eric Paulos,et al.  inAir: measuring and visualizing indoor air quality , 2009, UbiComp.

[13]  Paddy Nixon,et al.  SensorMash: Exploring System Fidelity Through Sensor Mashup , 2008, Pervasive 2008.

[14]  Sunny Consolvo,et al.  Proceedings of the 11th international conference on Ubiquitous computing , 2009, Ubicomp 2009.

[15]  David S. Linthicum,et al.  Cloud Computing and SOA Convergence in Your Enterprise: A Step-by-Step Guide , 2009 .

[16]  Margaret Martonosi,et al.  Proceedings of the 6th ACM conference on Embedded network sensor systems , 2008 .

[17]  Christine Julien,et al.  EgoSpaces: facilitating rapid development of context-aware mobile applications , 2006, IEEE Transactions on Software Engineering.

[18]  Seng Wai Loke.  On representing situations for context-aware pervasive computing: six ways to tell if you are in a meeting , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[19]  Antonio Brogi,et al.  Modular logic programming , 1994, TOPL.

[20]  R. Buyya,et al.  A Sensor Web Middleware with Stateful Services for Heterogeneous Sensor Networks , 2007, 2007 3rd International Conference on Intelligent Sensors, Sensor Networks and Information.

[21]  Suman Nath,et al.  SenseWeb: An Infrastructure for Shared Sensing , 2007, IEEE MultiMedia.

[22]  Rajkumar Buyya,et al.  SensorGrid: Integrating Sensor Networks and Grid Computing , 2005 .

[23]  Jinesh Varia,et al.  Best Practices in Architecting Cloud Applications in the AWS Cloud , 2011 .

[24]  Stephen S. Yau,et al.  Hierarchical situation modeling and reasoning for pervasive computing , 2006, The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06).

[25]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[26]  Tim Kindberg,et al.  "Merolyn the Phone": A Study of Bluetooth Naming Practices (Nominated for the Best Paper Award) , 2007, UbiComp.

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

[28]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[29]  E. Ma.  Handbook of Research on Urban Informatics: The Practice and Promise of the Real-Time City , 2009 .

[30]  Mark H. Hansen,et al.  Urban sensing: out of the woods , 2008, CACM.

[31]  Henry Tirri,et al.  Utilizing Rich Bluetooth Environments for Identity Prediction and Exploring Social Networks as Techniques for Ubiquitous Computing , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[32]  Eemil Lagerspetz,et al.  BeTelGeuse: A Platform for Gathering and Processing Situational Data , 2009, IEEE Pervasive Computing.

[33]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[34]  Emiliano Miluzzo,et al.  People-centric urban sensing , 2006, WICON '06.

[35]  Minho Shin,et al.  Anonysense: privacy-aware people-centric sensing , 2008, MobiSys '08.

[36]  Stathes Hadjiefthymiades,et al.  Situational computing: An innovative architecture with imprecise reasoning , 2007, J. Syst. Softw..

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

[38]  Mahadev Satyanarayanan,et al.  Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..

[39]  Andreas Butz,et al.  A survey of software infrastructures and frameworks for ubiquitous computing , 2005, Mob. Inf. Syst..

[40]  Tao Gu,et al.  Ontology based context modeling and reasoning using OWL , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[41]  Shashi Shekhar,et al.  Environmental Sensor Networks , 2008, ACM SIGSPATIAL International Workshop on Advances in Geographic Information Systems.

[42]  Tom Pfeifer.  Redundant positioning architecture , 2005, Comput. Commun..

[43]  Simon A. Dobson,et al.  Ontology-based models in pervasive computing systems , 2007, The Knowledge Engineering Review.

[44]  Oriana Riva,et al.  Contory: A Middleware for the Provisioning of Context Information on Smart Phones , 2006, Middleware.

[45]  Eamonn O'Neill,et al.  Mapping, sensing and visualising the digital co-presence in the public arena , 2008 .

[46]  Bernhard Mitschang,et al.  Context-Aware Mashups for Mobile Devices , 2008, WISE.

[47]  Rajkumar Buyya,et al.  Article in Press Future Generation Computer Systems ( ) – Future Generation Computer Systems Cloud Computing and Emerging It Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility , 2022 .

[48]  Roy H. Campbell,et al.  An infrastructure for context-awareness based on first order logic , 2003, Personal and Ubiquitous Computing.

[49]  Biao Song,et al.  A framework of sensor-cloud integration opportunities and challenges , 2009, ICUIMC '09.

[50]  N. Baumgartner.  A SURVEY OF UPPER ONTOLOGIES FOR SITUATION AWARENESS , 2006 .

[51]  Bob Wiggins.  Cloud Computing and SOA Convergence in Your Enterprise - A Step-by-Step Guide, D.S. Linthicum. Pearson Education (2009) , 2010, Int. J. Inf. Manag..

[52]  Leonidas J. Guibas,et al.  Wireless sensor networks - an information processing approach , 2004, The Morgan Kaufmann series in networking.

[53]  Harry Chen,et al.  SOUPA: standard ontology for ubiquitous and pervasive applications , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[54]  M. Ghanem,et al.  Air Pollution Monitoring and Mining Based on Sensor Grid in London , 2008, Sensors.

[55]  Laurent-Walter Goix,et al.  Sharing mobile user experiences with context-based mashups , 2008, MobiQuitous.

[56]  Rajkumar Buyya,et al.  Cloud Computing Principles and Paradigms , 2011 .

[57]  Seng Wai Loke.  Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems , 2010, Pervasive Mob. Comput..

[58]  Leonidas J. Guibas,et al.  Mobiscopes for Human Spaces , 2007, IEEE Pervasive Computing.

[59]  Feng Zhao,et al.  Guest Editors' Introduction: Building a Sensor-Rich World , 2007, IEEE Pervasive Computing.

[60]  Luca Costabello,et al.  Sharing mobile user experiences with context-based mashups , 2008, Mobiquitous 2008.

[61]  Yong Meng Teo,et al.  Sensor grid: integration of wireless sensor networks and the grid , 2005, The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l.

[62]  Mirco Musolesi,et al.  Sensing meets mobile social networks: the design, implementation and evaluation of the CenceMe application , 2008, SenSys '08.

[63]  Paramvir Bahl,et al.  The Case for VM-Based Cloudlets in Mobile Computing , 2009, IEEE Pervasive Computing.

[64]  Andrew T. Campbell,et al.  Fast track article: Bubble-sensing: Binding sensing tasks to the physical world , 2010 .

[65]  Mario Gerla.  Vehicular urban sensing: efficiency and privacy , 2008, MSWiM '08.

[66]  Luís Ferreira Pires,et al.  Situations in Conceptual Modeling of Context , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06).

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

[68]  Seng Wai Loke.  Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective , 2004, Knowl. Eng. Rev..

[69]  Mark D. Yarvis,et al.  Experimental Evaluation of Topology Control and Synchronization for In-Building Sensor Network Applications , 2005, Mob. Networks Appl..

[70]  Rajkumar Buyya,et al.  An autonomic cloud environment for hosting ECG data analysis services , 2012, Future Gener. Comput. Syst..

[71]  Paolo Bellavista,et al.  Dynamic Binding in Mobile Applications: A Middleware Approach , 2003, IEEE Internet Comput..

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

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

[74]  Mika Raento,et al.  ContextPhone: a prototyping platform for context-aware mobile applications , 2005, IEEE Pervasive Computing.

[75]  S.W. Loke.  Towards declarative programming for sensor-based situation-aware applications: The LogicCAP approach , 2008, 2008 International Conference on Intelligent Sensors, Sensor Networks and Information Processing.