dc.creator | Inglés Romero, Juan F. | es |
dc.creator | Vicente Chicote, Cristina | es |
dc.creator | Troya Castilla, Javier | es |
dc.creator | Vallecillo Moreno, Antonio | es |
dc.date.accessioned | 2018-04-27T10:30:17Z | |
dc.date.available | 2018-04-27T10:30:17Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | 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. | |
dc.identifier.isbn | 978-84-15487-28-9 | es |
dc.identifier.uri | https://hdl.handle.net/11441/73726 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009-08572 | es |
dc.description.sponsorship | Fundación Séneca-CARM 15374/PI/10 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Universidad de Almería | es |
dc.relation.ispartof | JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (2012), p 609-622 | |
dc.rights | Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Self-adaptation | es |
dc.subject | Component-based architecture | es |
dc.subject | Prototyping | es |
dc.subject | Maude | es |
dc.title | Prototyping Component-Based Self-Adaptive Systems with Maude | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIN2009-08572 | es |
dc.relation.projectID | 15374/PI/10 | es |
dc.relation.publisherversion | https://biblioteca.sistedes.es/articulo/prototyping-component-based-self-adaptive-systems-with-maude/ | es |
idus.format.extent | 14 | es |
dc.publication.initialPage | 609 | es |
dc.publication.endPage | 622 | es |
dc.eventtitle | JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos | es |
dc.eventinstitution | Almería, España | es |
dc.relation.publicationplace | Almería | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Comunidad Autónoma de Murcia | |