Navegación

Búsqueda

Búsqueda avanzada

Prototyping Component-Based Self-Adaptive Systems with Maude

Software adaptation is becoming increasingly important as more and more applications need to dynamically adapt their structure and behavior to cope with changing contexts, available resources and user requirements. Maude is a high-performance reflective language and system, supporting both equational and rewriting logic specification and programming for a wide range of applications. In this paper we describe our experience in using Maude for prototyping component-based self-adaptive systems so that they can be formally simulated and analyzed. In order to illustrate the benefits of using Maude in this context, a case study in the robotics domain is presented.

Self-Adaptation of Mobile Systems with Dynamic Software Product Lines

Mobile ecosystems are generally long-lived and sometimes operate in inaccessible areas, so they require support for self-adaptation to the continuous context changes. Dynamic Software Product Lines (DSPLs) produce software products capable of adapting to requirements that change at runtime. We propose a DSPL-based self-adaptation process especially designed for mobile system requirements, such as context and device heterogeneity. We follow a lightweight model@run.time approach, by using variability models to generate, at runtime, the products adapted to the context changes, but without loading the models in the mobile devices. In addition, our approach takes into account the quality-of-service as part of the decision making process.