RT Conference Proceedings
T1 Search-Based Model Transformations
A1 Wimmer, Manuel
K1 Sistemas, Análisis de
AB Huge efforts have been invested in the last decade concerning the establishment of dedicated analysis methods and techniques for model transformations. The analysis of general properties such as termination and confluence as well as specific properties defined for one particular transformation have been studied for different transformation kinds and languages. What most transformation analyses have in common is that they consider the transformation specifications as their primary source. However, as I will show in my presentation, methods and techniques deployed for analysing potential transformation executions at runtime are needed as well. As transformation executions quickly span huge transformation spaces, I will show how to effectively analyse and guide transformation executions towards fulfilling multiple, potentially conflicting transformation goals by employing search-based techniques.
YR 2016
FD 2016-04-18
LK http://hdl.handle.net/10630/11205
UL http://hdl.handle.net/10630/11205
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 4 mar 2026