A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments
A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments
复制标题
DOI：
10.1007/978-3-540-76890-6_12
复制
发表时间：
2007-11
期刊：
影响因子：
--
通讯作者：
C. Hoareau;I. Satoh
中科院分区：
文献类型：
--
作者：
C. Hoareau;I. Satoh
我们提出了一种新的方法来处理普适计算环境中的位置查询处理。我们扩展了常用的层次空间模型的混合逻辑，即一个Kripke结构的语义模型，从而映射到一个模型检查框架的位置查询处理。我们的方法是建立在理论基础上，显示我们的查询框架的合理性，探讨位置建模和位置查询处理之间的联系，并提供了一个混合的基于逻辑的查询语言，使有效的搜索分散的空间存储库。一个原型实现，并将进行讨论。
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.