The active badge location system
ACM Transactions on Information Systems (TOIS)
ConChat: A Context-Aware Chat Program
IEEE Pervasive Computing
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
A Dynamic Context-Conflict Management Scheme for Group-Aware Ubiquitous Computing Environments
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adaptive cleaning for RFID data streams
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering
Automated Generation of Context-Aware Tests
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
IEEE Transactions on Software Engineering
ICDCS '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Internetware: a shift of software paradigm
Proceedings of the First Asia-Pacific Symposium on Internetware
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
IEEE Transactions on Software Engineering
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Hi-index | 0.00 |
Internetware applications are context-aware and adaptive to their environmental changes. Faulty adaptation may arise when these applications face unexpected situations. Such adaptation faults can be difficult to detect at design time. The recent Adaptation Finite-State Machine (A-FSM) approach proposes to statically analyze model-based context-aware applications for adaptation faults. However, this approach may suffer expressiveness and precision problems. To address these limitations, we propose an Adaptation Model (AM) approach. As compared with A-FSM, AM offers increased expressive power to model complex rules, and guarantees soundness in fault detection. Besides, AM deploys an efficient rule evaluation technique to cater for context-aware applications that are subject to continual environmental changes. We evaluated our AM approach using both simulated and real-world experiments with two applications. The experimental results confirmed that AM can detect real faults missed by A-FSM, and avoid false positives that were misreported otherwise.