research-article

From model checking to data management in pervasive computing: a location-based query-processing framework

Authors:

Christian Hoareau,

Ichiro SatohAuthors Info & Claims

ICPS '09: Proceedings of the 2009 international conference on Pervasive services

Pages 41 - 48

https://doi.org/10.1145/1568199.1568206

Published: 13 July 2009 Publication History

Abstract

This paper presents a query-processing framework for location-based services. The proposed approach aims at complementing existing context-aware services wherein locations of people, physical objects and services are modeled in a symbolic manner, independently of any sensing technology. To deliver contextual information to the various components of a pervasive computing platform, current systems tend to query the underlying location models in an ad-hoc manner. This makes it difficult to guarantee the quality of the results, and hence the reliability of context-aware services. The main idea behind our framework is to apply and adapt the principles of model checking to query the contextual data structures. Because such query mechanisms have to be sound, our approach is build upon a logic-based query language. We therefore ensure that the results of any query (i) do not miss any information that satisfy its necessary and sufficient conditions and (ii) do not contain any information that does not satisfy the conditions. We describe the implementation of or framework and discuss its applicability to existing graph-based location models.

References

[1]

R. Angles and C. Gutiérrez. Survey of graph database models. ACM Computing Survey, 40(1):1--39, 2008.

Digital Library

[2]

C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.

Digital Library

[3]

C. Becker and F. Dürr. On location models for ubiquitous computing. Personal and Ubiquitous Computing, 9(1):20--31, 2005.

Digital Library

[4]

C. Bolchini, C. Curino, E. Quintarelli, F.A. Schreiber, and L. Tanca. A data-oriented survey of context models. SIGMOD Record, 36(4):19--26, 2007.

Digital Library

[5]

E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT Press, 2000.

Digital Library

[6]

M. Franceschet and M.D. Rijke. Model checking hybrid logics (with an application to semistructured data). Journal of Applied Logic, 4(3):279--304, 2006.

[7]

M. Grossniklaus. Context-Aware Data Management. An object-Oriented Version Model. Verlag Dr. Müller, 2007.

Digital Library

[8]

C.K. Hess and R.H. Campbell. A context-aware data management system for ubiquitous computing application. In Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003). IEEE, 2003.

Digital Library

[9]

C. Hoareau and I. Satoh. Query language for location-based services: A model checking approach. IEICE Transactions on Information and Systems, E91(D4):976--985, 2008.

Digital Library

[10]

S. Ilarri, E. Mena, and C. Bobed. Processing location-dependent queries with location granules. In Proceedings of the 2nd OnTheMove Workshop on Pervasive Systems (PerSys'07), Lecture Notes in Computer Science, pages 856--865. Springer, 2007.

Digital Library

[11]

C. Jiang and P. Steenkiste. A hybrid location model with a computable location identifier for ubiquitous computing. In Proceedings of the 4th International Conference on Ubiquitous Computing (UbiComp 2002), Lecture Notes in Computer Science, pages 307--313. Springer, 2002.

Digital Library

[12]

F. Perich, A. Joshi, T. Finin, and Y. Yesha. On data management in pervasive computing environments. IEEE Transactions on Knowledge and Data Engineering, 16(5):621--634, 2004.

Digital Library

[13]

C. Pils, I. Roussaki, and M. Strimpakou. Location-based context retrieval and filtering. In Proceedings of the 2nd International Workshop on Location- and Context-Awareness (LoCA 2006), Lecture Notes in Computer Science, pages 256--273. Springer, 2006.

Digital Library

[14]

A. Ranganathan and R.H. Campbell. Provably correct pervasive computing environments. In Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), pages 160--169. IEEE, 2008.

Digital Library

[15]

I. Roussaki, M. Strimpakou, N. Kalatzis, M. Anagnostou, and C. Pils. Hybrid context modeling: A location-based scheme using ontologies. In Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW '06), pages 2--7. IEEE, 2006.

Digital Library

[16]

I. Satoh. A location model for pervasive computing environments. In Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), pages 215--224. IEEE, 2005.

Digital Library

[17]

M. Satyanarayanan. Pervasive computing: Vision and challenges. IEEE Personal Communications, 8(4):10--17, 2001.

[18]

A. Silberschatz, H.F. Korth, and S. Sudarshan. Data models. ACM Computing Surveys, 28(1):105--108, 1996.

Digital Library

[19]

J. Ye, L. Coyle, S. Dobson, and P. Nixon. A unified semantics space model. In Proceedings of the 3rd IEEE International Symposium on Location- and Context-Awareness (LoCa 2007), Lecture Notes in Computer Science, pages 103--120. Springer, 2007.

Digital Library

Cited By

Bobed CBernad JIlarri SMena E(2017)Probabilistic location-dependent queries at different location granularitiesPervasive and Mobile Computing10.1016/j.pmcj.2016.12.00639(304-321)Online publication date: Aug-2017
https://doi.org/10.1016/j.pmcj.2016.12.006
Bobed CYus RBobillo FIlarri SBernad JMena ETrillo-Lado RGarrido Á(2015)Emerging Semantic-Based ApplicationsSemantic Web10.1007/978-3-319-16658-2_4(39-83)Online publication date: 28-Aug-2015
https://doi.org/10.1007/978-3-319-16658-2_4
Šipetić MDey AChu HHayes G(2012)Design and implementation of a space model server for indoor location-based servicesProceedings of the 2012 ACM Conference on Ubiquitous Computing10.1145/2370216.2370312(572-575)Online publication date: 5-Sep-2012
https://dl.acm.org/doi/10.1145/2370216.2370312

Index Terms

From model checking to data management in pervasive computing: a location-based query-processing framework
1. Information systems
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query processing and optimization (theory)

Recommendations

A self-adaptive query service for pervasive environments
NOTERE '08: Proceedings of the 8th international conference on New technologies in distributed systems

The query service is the key element enabling users to identify and access data or services. If the growth of mobility in recent years makes it necessary to support different types of queries (continuous, location dependent, spatio-temporal, etc.,), it ...
Towards ad hoc contextual services for pervasive computing
MW4SOC '06: Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)

Context-awareness is a key challenge for pervasive computing, as it is a prime requirement towards delivering applications to users in a way that best matches user requirements, digital resources availability and physical conditions. However, enabling ...
Pervasive Service Computing: Visions and Challenges
CIT '10: Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology

Pervasive Service Computing applies service composition and pervasive computing into managing user’s complex everyday activities. To identify the nature of Pervasive Service Computing, we investigate a generic service-oriented pervasive computing ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICPS '09: Proceedings of the 2009 international conference on Pervasive services

July 2009

216 pages

ISBN:9781605586441

DOI:10.1145/1568199

General Chairs:
Julie A. McCann
Imperial College London, UK
,
Mario Lauria
TIGEM, Italy
,
Program Chairs:
Domenico Cotroneo
University of Naples, Italy
,
Mark A. Baker
University of Reading, UK

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICPS '09

Sponsor:

ACM

ICPS '09: International Conference on Pervasive Services

July 13 - 17, 2009

London, United Kingdom

Acceptance Rates

ICPS '09 Paper Acceptance Rate 23 of 34 submissions, 68%;

Overall Acceptance Rate 23 of 34 submissions, 68%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
234
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bobed CBernad JIlarri SMena E(2017)Probabilistic location-dependent queries at different location granularitiesPervasive and Mobile Computing10.1016/j.pmcj.2016.12.00639(304-321)Online publication date: Aug-2017
https://doi.org/10.1016/j.pmcj.2016.12.006
Bobed CYus RBobillo FIlarri SBernad JMena ETrillo-Lado RGarrido Á(2015)Emerging Semantic-Based ApplicationsSemantic Web10.1007/978-3-319-16658-2_4(39-83)Online publication date: 28-Aug-2015
https://doi.org/10.1007/978-3-319-16658-2_4
Šipetić MDey AChu HHayes G(2012)Design and implementation of a space model server for indoor location-based servicesProceedings of the 2012 ACM Conference on Ubiquitous Computing10.1145/2370216.2370312(572-575)Online publication date: 5-Sep-2012
https://dl.acm.org/doi/10.1145/2370216.2370312

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten