Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Towards correcting input data errors probabilistically using integrity constraints
MobiDE '06 Proceedings of the 5th ACM international workshop on Data engineering for wireless and mobile access
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Goal-Directed Reasoning for Specification-Based Data Structure Repair
IEEE Transactions on Software Engineering
Automated Generation of Context-Aware Tests
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
On impact-oriented automatic resolution of pervasive context inconsistency
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Atomicity Analysis of Service Composition across Organizations
IEEE Transactions on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Modeling Dimensions of Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Increasing system dependability through architecture-based self-repair
Architecting dependable systems
A Framework for Programming Robust Context-Aware Applications
IEEE Transactions on Software Engineering
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
IEEE Transactions on Software Engineering
Taming uncertainty in self-adaptive software
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Brace: an assertion framework for debugging cyber-physical systems
Proceedings of the 34th International Conference on Software Engineering
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
ConsView: Towards Application-Specific Consistent Context Views
COMPSAC '12 Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference
AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software
Resynchronizing Model-Based Self-Adaptive Systems with Environments
APSEC '12 Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01
Hi-index | 0.00 |
Self-adaptive applications are becoming popular since they are able to adapt their behavior based on changes of environments. However, possible faults in these applications may result in runtime failures, which reduce their dependability. We propose a novel approach to improving the dependability of self-adaptive applications. The approach uses a rematching process to make self-adaptive applications consistent with their environments. In the rematching process, consistency failures are automatically detected and fixed at runtime to reduce application failures. The strategy for fixing consistency failures includes backward rematching and forward rematching. Proper strategies can be selected according to rematching ability analysis results for concerned applications. As a result, applications can thus achieve consistency with their environments and failures can be significantly avoided. We developed a tool named IDEA to support this process and the experimental results confirmed the effectiveness of our IDEA.