Incremental consistency checking for pervasive context

  • Authors:

  • Chang Xu;S. C. Cheung;W. K. Chan

  • Affiliations:

  • Hong Kong University of Sci. & Tech., Kowloon, Hong Kong, China;Hong Kong University of Sci. & Tech., Kowloon, Hong Kong, China;Hong Kong University of Sci. & Tech., Kowloon, Hong Kong, China

  • Venue:
  • Proceedings of the 28th international conference on Software engineering
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Applications in pervasive computing are typically required to interact seamlessly with their changing environments. To provide users with smart computational services, these applications must be aware of incessant context changes in their environments and adjust their behaviors accordingly. As these environments are highly dynamic and noisy, context changes thus acquired could be obsolete, corrupted or inaccurate. This gives rise to the problem of context inconsistency, which must be timely detected in order to prevent applications from behaving anomalously. In this paper, we propose a formal model of incremental consistency checking for pervasive contexts. Based on this model, we further propose an efficient checking algorithm to detect inconsistent contexts. The performance of the algorithm and its advantages over conventional checking techniques are evaluated experimentally using Cabot middleware.