Garantizando evoluciones seguras en sistemas auto-adaptables

[EN] Self-adaptation provides to the software systems the ability to adapt their behavior and / or structure in runtime. This type of system works in changing environments and his behavior must evolve over time. Therefore, the evolution and maintenance processes have to be performed while the system...

Descripción completa

Detalles Bibliográficos
Autor: Ortega López, María
Tipo de recurso: tesis de maestría
Fecha de publicación:2013
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:español
OAI Identifier:oai:riunet.upv.es:10251/43374
Acceso en línea:https://riunet.upv.es/handle/10251/43374
Access Level:acceso abierto
Palabra clave:Auto-adaptable
Evolución
Modelos
Segura
Self-adaptative
Evolution
Models
Safe
LENGUAJES Y SISTEMAS INFORMATICOS
Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D&apos
Informació
Descripción
Sumario:[EN] Self-adaptation provides to the software systems the ability to adapt their behavior and / or structure in runtime. This type of system works in changing environments and his behavior must evolve over time. Therefore, the evolution and maintenance processes have to be performed while the system is running. So techniques and tools are needed to ensure safe evolutions, ie the new version of the system does not introduce errors or inconsistencies in the running system. In this paper we propose the approximation "runtime models" so that the evolution of self-adaptive system can be done at the model level, not implementation, ie evolving the models that represent the knowledge of the system. The purpose of this final project is the implementation of a tool to support the analysis phase of the process of evolution, so as to allow the engineer to analyze the new system evolved version of the models to detect errors and provide mechanisms for automatically obtain an error-free version