A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Architecture-based self-adaptation in the presence of multiple objectives
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Software adaptation patterns for service-oriented architectures
Proceedings of the 2010 ACM Symposium on Applied Computing
Design patterns for developing dynamically adaptive systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Qos architectural patterns for self-architecting software systems
Proceedings of the 7th international conference on Autonomic computing
Effective self adaptation by integrating adaptive framework with architectural patterns
Proceedings of the 1st Amrita ACM-W Celebration on Women in Computing in India
Pattern based adaptation for service oriented applications
ACM SIGSOFT Software Engineering Notes
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
| Hi-index | 0.00 |
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studied over thirty adaptation-related projects to develop twelve adaptation-oriented design patterns that can be leveraged from one adaptive system to another. This paper presents a case study in which we apply our adaptation patterns in the design of a dynamically adaptive news web server. This pattern-based design separates the functional logic from the adaptive logic, resulting in a system that supports dynamic adaptation and is easier to maintain and analyze. Furthermore, to address assurance concerns, we applied automated formal verification techniques to ensure instantiated pattern models satisfy invariant properties specified in each adaptation pattern.