Temporal reconfiguration plans for self-adaptive systems

Abstract

Self-adaptive systems have the ability to autonomously reconfigure their structure in order to meet specific goals. Such systems often include a planning component, computing plans of reconfiguration steps. However, despite the fact that reconfigurations take time in reality, most planning approaches for self-adaptive systems are non-temporal. In this paper, we present a model-based approach to the generation of temporal reconfiguration plans. Besides allowing for durative reconfigurations, our technique also neatly solves concurrency issues arising in such a temporal setting. This provides the modeller with a clear and easy-to-use basis for modelling while at the same time giving an automatic method for plan construction.