A hierarchical approach for modelling the adaptability features of complex systems is
introduced. It is based on a structural level S, describing the adaptation dynamics of the …

Adaptive systems modify their behaviour in order to run always and everywhere. Their
structure is therefore subject to continuous changes, which however could compromise the …

This work introduces a general multi-level model for self-adaptive systems. A self-adaptive
system is seen as composed by two levels: the lower level describing the actual behaviour …

This work introduces a general multi-level model for self-adaptive systems. A self-adaptive
system is seen as composed by two levels: the lower level describing the actual behaviour …

Autonomous systems perform decision making without human intervention. They collect the
data from the environment, process it to build the awareness and perform the actions …

Adaptive systems are designed to modify their behaviour in response to changes of their
operational environment. We adopt a language-based approach to the development of such …

This article is a tutorial on how to achieve software evolution and adaptation in a
dependable manner, by systematically applying formal modelling and verification. It shows …

We propose to see adaptive systems as systems with highly dynamic features. We model as
features both the reconfigurations of the system, but also the changes of the environment …

We present an essential model of adaptable transition systems inspired by white-box
approaches to adaptation and based on foundational models of component based systems …

In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …