Antónia Lopes

TL;DR: In this paper, the authors present the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems, focusing on four essential topics of selfadaptation: design space for selfadaptive solutions, software engineering processes, from centralized to decentralized control, and practical run-time verification & validation.

TL;DR: This paper presents a high-level language to describe architectures and for operating changes over a configuration, such as adding, removing or substituting components or interconnectons, and model architectures through categorical diagrams and dynamic reconfiguration through algebraic graph rewriting.

TL;DR: SENSORIA as discussed by the authors is a formal framework for supporting service-oriented modelling at high levels of abstraction, independently of the hosting middleware and hardware platforms, and the languages in which services are programmed.

TL;DR: The importance of systematic design is discussed and the dimensions of the self-adaptive system design space are identified, which can serve as a standard lexicon that can aid in describing and evaluating the behavior of existing and new self- Adaptive systems.