Repositorio de producción científica de la Universidad de Sevilla

Prototyping Component-Based Self-Adaptive Systems with Maude

Opened Access Prototyping Component-Based Self-Adaptive Systems with Maude
Estadísticas
Icon
Exportar a
Autor: 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: 2012
Publicado en: JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (2012), p 609-622
ISBN/ISSN: 978-84-15487-28-9
Tipo de documento: Ponencia
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. 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.
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.
Tamaño: 546.0Kb
Formato: PDF

URI: https://hdl.handle.net/11441/73726

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América

Este registro aparece en las siguientes colecciones