Abstract:Requirements-driven approaches provide an effective mechanism for self-adaptive systems by reasoning over their runtime requirements models to make adaptation decisions. However, such approaches usually assume that the relations among alternative system configurations, environmental parameters and requirements are clearly understood, which is often not true. Moreover, they do not consider the influence of the current configuration of an executing system on adaptation decisions. In this paper, we propose an improved requirements-driven self-adaptation approach that combines goal reasoning and case-based reasoning. In the approach, past experiences of successful adaptations are retained as adaptation cases, which are described by not only requirements violations and contexts, but also currently deployed system configurations. The approach does not depend on a set of original adaptation cases, but employs goal reasoning to provide adaptation solutions when no similar cases are available. Case-based reasoning is used to provide more precise adaptation decisions that better reflect the complex relations among requirements violations, contexts, and current system configurations by utilizing past experiences. To prevent case-based reasoning from getting trapped in suboptimal adaptation solutions, an additional case mutation mechanism is introduced to mutate existing adaptation solutions when necessary. We conduct an experimental study with an online shopping benchmark to evaluate the effectiveness of our approach. The results show that our approach outperforms both a requirements-driven approach and a case-based approach in terms of satisfaction level of quality constraints. The results also confirm the effectiveness of case mutation for producing better adaptation solutions. In addition, we empirically investigate the evolution process of adaptation solutions. The evolution analysis reveals some general evolution trends of adaptation solutions such as different evolution phases.

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.

Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems

Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes

Decision Making for Self-adaptation based on Partially Observable Satisfaction of Non-Functional Requirements

Self-Adaptive Decision Making under Uncertainty in Environment and Requirements

Using POMDP-based Approach to Address Uncertainty-Aware Adaptation for Self-Protecting Software

Markov Decision Process Design: A Framework for Integrating Strategic and Operational Decisions

A Framework for Enhancing Performance and Handling Run-Time Uncertainty in Self-Adaptive Systems

Rationalism with a Dose of Empiricism: Combining Goal Reasoning and Case-Based Reasoning for Self-Adaptive Software Systems

Decision Methods for Adaptive Task-Sharing in Associate Systems

Markov-chain Monte-Carlo Sampling for Optimal Fidelity Determination in Dynamic Decision-Making

Reducing Large Adaptation Spaces in Self-Adaptive Systems Using Machine Learning

An Incremental Sampling-based Algorithm for Stochastic Optimal Control

Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems

Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive Systems

Self-decision Mechanisms of Smart Production Systems Based on Improved Uncertainty Theory and user-CFA

Adaptive resource allocation for media services based on semi-Markov decision process

Elastic Resource Management with Adaptive State Space Partitioning of Markov Decision Processes

Decision synthesis framework approach for dynamic dispatching and preventive maintenance in large flexible manufacturing systems

Reliable Proactive Adaptation Via Prediction Fusion and Extended Stochastic Model Predictive Control

Automatic Generation and Evolution of Policies for Self-adaptive Software