Ponencia
Prototyping Component-Based Self-Adaptive Systems with Maude
Autor/es | Inglés Romero, Juan F.
Vicente Chicote, Cristina Troya Castilla, Javier Vallecillo Moreno, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2012 |
Fecha de depósito | 2018-04-27 |
Publicado en |
|
ISBN/ISSN | 978-84-15487-28-9 |
Resumen | 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. ... 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. |
Agencias financiadoras | Ministerio de Ciencia e Innovación (MICIN). España Comunidad Autónoma de Murcia |
Identificador del proyecto | TIN2009-08572
15374/PI/10 |
Cita | Inglés Romero, J.F., Vicente Chicote, C., Troya Castilla, J. y Vallecillo Moreno, A. (2012). Prototyping Component-Based Self-Adaptive Systems with Maude. En JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (609-622), Almería, España: Universidad de Almería. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
JISBD12_2.pdf | 546.0Kb | [PDF] | Ver/ | |