A model checking-based approach for location query processing in pervasive computing environments

Authors:
Christian Hoareau;Ichiro Satoh
Affiliations:
National Institute of Informatics, Tokyo, Japan and The Graduate University for Advanced Studies, Kanagawa, Japan;National Institute of Informatics, Tokyo, Japan
Venue:
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Year:
2007

Citing 8
Cited 4

Formal semantics of SQL queries

ACM Transactions on Database Systems (TODS)
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
A Location Model for Communicating and Processing of Context

Personal and Ubiquitous Computing
Model checking

Handbook of automated reasoning
Model Checking for Combined Logics with an Application to Mobile Systems

Automated Software Engineering
CTL Model Checking for Processing Simple XPath Queries

TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
On location models for ubiquitous computing

Personal and Ubiquitous Computing
A Location Model for Pervasive Computing Environments

PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications

Probabilistic Granule-Based Inside and Nearest Neighbor Queries

ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Location-dependent query processing: Where we are and where we are heading

ACM Computing Surveys (CSUR)
Exploiting the semantics of location granules in location-dependent queries

ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
An approach to process continuous location-dependent queries on moving objects with support for location granules

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new approach to handle location query processing in pervasive computing environments. We extend the commonly used hierarchical model of space to a semantic model for hybrid logics, i.e. a Kripke structure, and thus map location query processing into a model checking framework. Our approach is built on theoretical foundations that show the soundness of our query framework, explores the connection between location modelling and location query processing, and provides a hybrid logic-based query language that enables efficient search over a decentralised space repository. A prototype implementation is presented and will be discussed.