Búsqueda avanzada

Resultados de búsqueda para component-based architecture

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.

Autores: Juan F. Inglés-Romero / Cristina Vicente-Chicote / Javier Troya / Antonio Vallecillo / 
Palabras Clave: component-based architecture - Maude - prototyping - Self-Adaptation

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada