Skip to main content
Log in

Decentralized checking of context inconsistency in pervasive computing environments

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

Contexts are often inconsistent in pervasive computing environments, owing to many heterogeneous devices with limited processing capabilities, imperfect measurement techniques, and user movement. A variety of schemes have been proposed to check context inconsistency. However, they implicitly require central control. This requirement inhibits their effectiveness in some pervasive computing environments (e.g., transport systems) where all nodes are resource-constrained and cannot act as a centralized node. To this end, we propose in this paper DCCI—a scheme of Decentralized Checking of Context Inconsistency in pervasive computing environments. DCCI exploits a simple, yet efficient, preference-based locality that denotes nodes requiring that the same context can check the inconsistency on this type of contexts. According to this locality, DCCI constructs a preference-based shortcut structure such that it checks context inconsistency within the shortcut structure. Extensive experiments show that DCCI can accurately and efficiently check context inconsistency in the presence of node churns and heterogeneity.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Baldauf M, Dustdar S, Rosenberg F (2007) A survey on context-aware systems. Int J Ad Hoc Ubiq Comput 2(4):263–277

    Article  Google Scholar 

  2. Bikakis A, Antoniou F (2008a) Distributed reasoning with conflicts in a multi-context framework. In: Fox D, Gomes CP (eds) Proceedings of the 23rd AAAI conference on artificial intelligence (AAAI ’08), pp 1778–1779

    Google Scholar 

  3. Bikakis A, Antoniou G (2008b) Local and distributed defeasible reasoning in multi-context systems. In: Proceedings of the international RuleML symposium on rule interchange and applications (RuleML ’08). Springer, Berlin, pp 135–149

    Google Scholar 

  4. Bradley NA, Dunlop MD (2009) Toward a multidisciplinary model of context to support context-aware computing. Hum-Comput Interact 20(4):403–446

    Article  Google Scholar 

  5. Bu Y, Chen S, Tao X, Li J, Lu J (2006a) Context consistency management using ontology based model. In: International conference on extending database technology, pp 741–755

    Google Scholar 

  6. Bu Y, Gu T, Tao X, Li J, Chen S, Lu J (2006b) Managing quality of context in pervasive computing. In: Proceedings of the 6th international conference on quality software (QSIC ’06), pp 193–200

    Google Scholar 

  7. Capra L, Emmerich W, Mascolo C (2003) Carisma: Context-aware reflective middleware system for mobile applications. IEEE Trans Softw Eng 29(10):929–945

    Article  Google Scholar 

  8. Dey AK, Abowd GD, Salber D (2001) A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Int J Hum-Comput Interact 16(2):97–166

    Article  Google Scholar 

  9. Elnahrawy E, Nath B (2003) Cleaning and querying noisy sensors. In: Proceedings of the 2nd ACM international conference on wireless sensor networks and applications (WSNA ’03), pp 78–87

    Chapter  Google Scholar 

  10. Erramilli V, Crovella M, Chaintreau A, Diot C (2008) Delegation forwarding. In: Proceedings of the 9th ACM international symposium on mobile ad hoc networking and computing (MobiHoc ’08). ACM, New York, pp 251–260

    Chapter  Google Scholar 

  11. Garlan D, Siewiorek DP, Steenkiste P (2002) Project aura: toward distraction-free pervasive computing. IEEE Pervasive Comput 1:22–31

    Article  Google Scholar 

  12. Harter A, Hopper A, Steggles P, Ward A, Webster P (1999) The anatomy of a context-aware application. In: Proceedings of the 5th annual ACM/IEEE international conference on mobile computing and networking (MobiCom ’99), pp 59–68

    Chapter  Google Scholar 

  13. Huang Y, Ma X, Cao J, Tao X, Lu J (2009) Concurrent event detection for asynchronous consistency checking of pervasive context. In: Proceedings of the 7th annual IEEE international conference on pervasive computing and communications (Percom ’09), pp 131–139

    Google Scholar 

  14. IBM (2010) InfoSphere Streams. http://www-01.ibm.com/software/data/infosphere/streams/

  15. Jeffery SR, Garofalakis M, Franklin MJ (2006) Adaptive cleaning for RFID data streams. In: Proceedings of the 32nd international conference on very large data bases (VLDB ’06), pp 163–174

    Google Scholar 

  16. Julien C, Roman GC (2006) Egospaces: facilitating rapid development of context-aware mobile applications. IEEE Trans Softw Eng 32(5):281–298

    Article  Google Scholar 

  17. Kabadayi S, Julien C, O’Brien W, Stovall D (2007) Virtual sensors: a demonstration. In: The 26th international conference on computer communications: demonstrations track (Infocom), pp 10–12

    Google Scholar 

  18. Liu K, Chen L, Liu Y, Li M (2008) Robust and efficient aggregate query processing in wireless sensor networks. Mob Netw Appl 13(1–2):212–227

    Article  Google Scholar 

  19. Lu H, Chan W, Tse T (2008) Testing pervasive software in the presence of context inconsistency resolution services. In: Proceedings of the 30th international conference on software engineering (ICSE ’08), New York, NY, USA, pp 61–70

    Google Scholar 

  20. Park I, Lee D Hyun S (2005) A dynamic context-conflict management scheme for group-aware ubiquitous computing environments. In: Proceedings of the 29th annual international computer software and applications conference (COMPSAC ’05), vol 1

    Google Scholar 

  21. Pu C, Schwan K, Walpole J (2001) Infosphere project: system support for information flow applications. SIGMOD Rec 30:25–34

    Article  Google Scholar 

  22. Ranganathan A, Campbell RH (2003) An infrastructure for context-awareness based on first order logic. Pers Ubiquitous Comput 7(6):353–364

    Article  Google Scholar 

  23. Ranganathan A, Campbell R, Ravi A, Mahajan A (2002) Conchat: a context-aware chat program. IEEE Pervasive Comput 1(3):51–57

    Article  Google Scholar 

  24. Ratnasamy S, Francis P, Handley M, Karp R, Schenker S (2001) A scalable content-addressable network. In: Proceedings of the 2001 conference on applications, technologies, architectures, and protocols for computer communications (SIGCOMM ’01), New York, NY, USA, pp 161–172

    Chapter  Google Scholar 

  25. Román M, Hess C, Cerqueira R, Ranganathan A, Campbell RH, Nahrstedt K (2002) A middleware infrastructure for active spaces. IEEE Pervasive Comput 1(4):74–83

    Article  Google Scholar 

  26. Satoh I (2009) A context-aware service framework for large-scale ambient computing environments. In: Proceedings of the 2009 international conference on pervasive services (ICPS ’09), New York, NY, USA, pp 199–208

    Chapter  Google Scholar 

  27. Stoica I, Morris R, Karger D, Kaashoek MF, Balakrishnan H (2001) Chord: a scalable peer-to-peer lookup service for Internet applications. In: Proceedings of the 2001 conference on applications, technologies, architectures, and protocols for computer communications (SIGCOMM ’01), New York, NY, USA, pp 149–160

    Chapter  Google Scholar 

  28. Strang T, Popien C (2004) A context modeling survey. In: Proc of the workshop on advanced context modelling, reasoning and management

    Google Scholar 

  29. Weiser M (1991) The computer for the 21st century. Sci Am 265:66–75

    Article  Google Scholar 

  30. Xu C, Cheung SC (2005) Inconsistency detection and resolution for context-aware middleware support. In: Proceedings of the 10th European software engineering conference held jointly with the 13th ACM SIGSOFT international symposium on foundations of software engineering (SIGSOFT ’05), pp 336–345

    Google Scholar 

  31. Xu C, Cheung SC, Chan WK (2006) Incremental consistency checking for pervasive context. In: Proceedings of the 28th international conference on software engineering (ICSE ’06), pp 292–301

    Google Scholar 

  32. Xu C, Cheung SC, Chan WK, Ye C (2008) Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications. In: Proceedings of the 28th IEEE international conference on distributed computing systems (ICDCS ’08), pp 713–721

    Google Scholar 

  33. Xue W, Pung H, Palmes PP, Gu T (2008) Schema matching for context-aware computing. In: Proceedings of the 11th international conference on ubiquitous computing (Ubicomp ’08), pp 292–301

    Chapter  Google Scholar 

  34. Yau SS, Karim F (2004) An adaptive middleware for context-sensitive communications for real-time applications in ubiquitous computing environments. Real-Time Syst 26(1):29–61

    Article  MATH  Google Scholar 

  35. Zhang D, Cao J, Zhou J, Guo M (2009) Extended Dempster–Shafer theory in context reasoning for ubiquitous computing environments. In: Proceedings of the 7th IEEE/IFIP international conference on embedded and ubiquitous computing, pp 205–212

    Google Scholar 

  36. Zhang D, Guo M, Zhou J, Kang D, Cao J (2010) Context reasoning using extended evidence theory in pervasive computing environments. Future Gener Comput Syst 26(2):207–216

    Article  Google Scholar 

  37. Zhang D, Zhou J, Guo M, Cao J, Li T (2011) Tasa: tag-free activity sensing using rfid tag arrays. IEEE Trans Parallel Distrib Syst 22:558–570

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hongyu Huang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, D., Chen, M., Huang, H. et al. Decentralized checking of context inconsistency in pervasive computing environments. J Supercomput 64, 256–273 (2013). https://doi.org/10.1007/s11227-011-0661-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-011-0661-x

Keywords

Navigation