article

Inconsistency detection and resolution for context-aware middleware support

Authors:

S. C. CheungAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 30, Issue 5

Pages 336 - 345

https://doi.org/10.1145/1095430.1081759

Published: 01 September 2005 Publication History

Abstract

Context-awareness is a key feature of pervasive computing whose environments keep evolving. The support of context-awareness requires comprehensive management including detection and resolution of context inconsistency, which occurs naturally in pervasive computing. In this paper we present a framework for realizing dynamic context consistency management. The framework supports inconsistency detection based on a semantic matching and inconsistency triggering model, and inconsistency resolution with proactive actions to context sources. We further present an implementation based on the Cabot middleware. The feasibility of the framework and its performance are evaluated through a case study and a simulated experiment, respectively.

References

[1]

Asaf Adi, Opher Etzion. Amit - The Situation Manager. VLDB Journal (13), pp. 177--203, 2004.]]

Digital Library

[2]

P. Bahl, V. N. Padmanabhan, A. Balachandran. Enhancements to the RADAR User Location and Tracking System. Microsoft Research Technical Report, Feb 2000.]]

[3]

B. Brumitt, B. Meyers, J. Krumm, A. Kern, S. Shafer. EasyLiving: Technologies for Intelligent Environments. Proceeding of the 2nd International Symposium on Handheld and Ubiquitous Computing (HUC 2000), Bristol, England, 2000.]]

Digital Library

[4]

Licia Capra, Wolfgang Emmerich, Cecilia Mascolo. CARISMA: Context-Aware Reflective Middleware System for Mobile Applications. IEEE Transactions on Software Engineering 29(10): pp. 929--944, Oct 2003.]]

Digital Library

[5]

S. Chakravarthy, D. Mishra. Snoop: An Expressive Event Specification Language for Active Databases. Data Knowl Eng 14.1: pp. 1--26, 1994.]]

Digital Library

[6]

Anind K. Dey, Gregory D. Abowd, Daniel Salber. A Context-Based Infrastructure for Smart Environments. Proceedings of the 1st International Workshop on Managing Interactions in Smart Environments, Dublin, Ireland, Dec 1999.]]

[7]

Philip D. Gray, Daniel Salber. Modeling and Using Sensed Context Information in the Design of Interactive Applications. Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction (EHCI 2001), Toronto, Canada, May 2001.]]

Digital Library

[8]

William G. Griswold, Robert Boyer, Steven W. Brown, Tan Minh Truong. A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure. Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Portland, USA, May 2003.]]

Digital Library

[9]

Andy Harter, Andy Hopper, Pete Steggles, Andy Ward, Paul Webster. The Anatomy of a Context-Aware Application. Mobile Computing and Networking, pp. 59--68, 1999.]]

Digital Library

[10]

Karen Henricksen, Jadwiga Indulska. A Software Engineering Framework for Context-Aware Pervasive Computing. Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications (PerCom 2004), Orlando, USA, Mar 2004.]]

Digital Library

[11]

Karen Henricksen, Jadwiga Indulska, Andry Rakotonirainy. Modeling Context Information in Pervasive Computing Systems. Proceedings of the 1st International Conference on Pervasive Computing, Zurich, Switzerland, Aug 2002.]]

Digital Library

[12]

Glenn Judd, Peter Steenkiste. Providing Contextual Information to Pervasive Computing Applications. Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications (PerCom 2003), Dallas, USA, Mar, 2003.]]

Digital Library

[13]

Christine Julien, Gruia-Catalin Roman. Egocentric Context-Aware Programming in Ad Hoc Mobile Environments. Proceedings of the 10th International Symposium on the Foundations of Software Engineering (FSE 2002), Charleston, USA, Nov 2002.]]

Digital Library

[14]

Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo. Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. IEEE Transactions on Software Engineering 30(12): pp. 841--858, Dec 2004.]]

Digital Library

[15]

C. Nentwich, L. Capra, W. Emmerich, A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology 2(2): pp. 151--185, May 2002.]]

Digital Library

[16]

C. Nentwich, W. Emmerich, A. Finkelstein. Consistency Management with Repair Actions. Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Portland, USA, May 2003.]]

Digital Library

[17]

L.M. Ni, Y. Liu. Y.C. Lau, A.P. Patil. LANDMARC: Indoor Location Sensing Using Active RFID. Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications (PerCom 2003), Dallas, USA, March 2003.]]

Digital Library

[18]

Raghu Ramakrishnan, Johannes Gehrke. Database Management Systems (Third Edition), McGraw-Hill Higher Education.]]

Digital Library

[19]

A. Ranganathan, R. H. Campbell, A. Ravi, A. Mahajan. ConChat: A Context-Aware Chat Program. IEEE Pervasive Computing (vol. 1, no. 3), pp. 51--57, Jul-Sep 2002.]]

Digital Library

[20]

A. Ranganathan, J. Al-Muhtadi, RH. Campbell. Reasoning about Uncertain Contexts in Pervasive Computing Environments. IEEE Pervasive Computing (vol. 3, no. 2), pp. 62--70, Apr-Jun 2004.]]

Digital Library

[21]

M. Roman, C. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell, K. Nahrstedt. A Middleware Infrastructure for Active Spaces. IEEE Pervasive Computing (vol. 1, no. 4), pp. 74--83, Oct-Dec 2002.]]

Digital Library

[22]

Bill N. Schilit, Marvin M. Theimer, Brent B. Welch. Customizing Mobile Applications. Proceedings of USENIX Mobile & Location-Independent Computing Symposium, Cambridge, USA, Aug 1993.]]

[23]

Albrecht Schmidt, Kofi Asante Aidoo, Antti Takaluoma, Urpo Tuomela, Kristof Van Laerhoven, Walter Van de Velde. Advanced Interaction in Context. Proceedings of the 1st International Symposium on Handheld and Ubiquitous Computing (HUC 1999), Karlsruhe, Germany, Sep 1999.]]

Digital Library

[24]

Bryan Scotney, Sally McClean. Database Aggregation of Imprecise and Uncertain Evidence. Information Sciences-Informatics and Computer Science: An International Journal (Vol. 155, Iss. 3-4), pp. 245--263, Oct 2003.]]

Digital Library

[25]

J. P. Sousa, D. Garlan. Aura: An Architectural Framework for User Mobility in Ubiquitous Computing Environments. Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture, Montreal, Canada, Aug 2002.]]

Digital Library

[26]

Chang Xu, S.C. Cheung, Cindy Lo, K.C. Leung, Jun Wei. Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. Proceedings of the IFIP Workshop on Building Intelligent Sensor Networks (BISON 2004), Wuhan, China, Oct 2004.]]

[27]

Chang Xu, S.C. Cheung, Xiangye Xiao. Semantic Interpretation and Matching of Web Services. Proceedings of the 23rd International Conference on Conceptual Modeling (ER 2004), Shanghai, China, Nov 2004.]]

Cited By

Chen CWang HZhang LXu CYu P(2024)MG+: Towards Efficient Context Inconsistency Detection by Minimized Link GenerationSoftware Testing, Verification and Reliability10.1002/stvr.1899Online publication date: 13-Oct-2024
https://doi.org/10.1002/stvr.1899
Chen CWang HZhang LXu CYu P(2022)Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00013(13-24)Online publication date: Oct-2022
https://doi.org/10.1109/ISSRE55969.2022.00013
Nacci ARana VBalaji BSpoletini PGupta RSciuto DAgarwal Y(2018)BuildingRulesACM Transactions on Cyber-Physical Systems10.1145/31855002:2(1-22)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3185500
Show More Cited By

Index Terms

Inconsistency detection and resolution for context-aware middleware support
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods

Recommendations

Inconsistency detection and resolution for context-aware middleware support
ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

Context-awareness is a key feature of pervasive computing whose environments keep evolving. The support of context-awareness requires comprehensive management including detection and resolution of context inconsistency, which occurs naturally in ...
On impact-oriented automatic resolution of pervasive context inconsistency
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers

Context-awareness is a capability that allows applications in pervasive computing to adapt themselves continuously to changing contexts of their environments. However, contexts from physical environments may be inconsistent. It affects the correctness ...
On impact-oriented automatic resolution of pervasive context inconsistency
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Context-awareness is a capability that allows applications in pervasive computing to adapt themselves continuously to changing contexts of their environments. However, contexts from physical environments may be inconsistent. It affects the correctness ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 30, Issue 5

September 2005

462 pages

ISSN:0163-5948

DOI:10.1145/1095430

Issue’s Table of Contents

ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
September 2005
402 pages
ISBN:1595930140
DOI:10.1145/1081706
General Chair:
Michel Wermelinger
The Open University, UK
,
Program Chair:
Harald C. Gall
University of Zurich, Switzerland

Copyright © 2005 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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2005

Published in SIGSOFT Volume 30, Issue 5

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

69
Total Citations
View Citations
1,284
Total Downloads

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

Reflects downloads up to 28 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Chen CWang HZhang LXu CYu P(2024)MG+: Towards Efficient Context Inconsistency Detection by Minimized Link GenerationSoftware Testing, Verification and Reliability10.1002/stvr.1899Online publication date: 13-Oct-2024
https://doi.org/10.1002/stvr.1899
Chen CWang HZhang LXu CYu P(2022)Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00013(13-24)Online publication date: Oct-2022
https://doi.org/10.1109/ISSRE55969.2022.00013
Nacci ARana VBalaji BSpoletini PGupta RSciuto DAgarwal Y(2018)BuildingRulesACM Transactions on Cyber-Physical Systems10.1145/31855002:2(1-22)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3185500
Pan LXu HChen MZhou YSun J(2018)Improved BPA based Multi-source Nonhomogeneous Continuous Context Inconsistency Resolution Approach2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)10.1109/FSKD.2018.8687295(664-668)Online publication date: Jul-2018
https://doi.org/10.1109/FSKD.2018.8687295
Xi WXu CYang WMa XYu PLu J(2016)Suppressing detection of inconsistency hazards with pattern learningInformation and Software Technology10.1016/j.infsof.2015.08.00374:C(219-229)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1016/j.infsof.2015.08.003
Li XEckert MMartinez JRubio G(2015)Context Aware Middleware Architectures: Survey and ChallengesSensors10.3390/s15082057015:8(20570-20607)Online publication date: 20-Aug-2015
https://doi.org/10.3390/s150820570
Aloulou HMokhtari MTiberghien TEndelin RBiswas J(2015)Uncertainty handling in semantic reasoning for accurate context understandingKnowledge-Based Systems10.1016/j.knosys.2014.12.02577:C(16-28)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.1016/j.knosys.2014.12.025
Chien BHsueh Y(2014)Layered Context Inconsistency Resolution for Context-Aware SystemsProceedings, Part II, of the 27th International Conference on Modern Advances in Applied Intelligence - Volume 848210.1007/978-3-319-07467-2_47(446-455)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1007/978-3-319-07467-2_47
Yang YHuang YCao JMa XLu J(2013)Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing EnvironmentsIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2012.25924:8(1546-1555)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1109/TPDS.2012.259
Kshemkalyani ACao J(2013)Predicate Detection in Asynchronous Pervasive EnvironmentsIEEE Transactions on Computers10.1109/TC.2012.16262:9(1823-1836)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.1109/TC.2012.162
Show More Cited By

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.

Media

Figures

Other

Tables

View Issue’s Table of Contents