Full text
Departamento de Lenguajes y Ciencias de la Computación. E.T.S.I. Informática / E.T.S.I. Telecomunicación. Complejo Tecnológico. Campus de Teatinos. 29071 Málaga. Tlf. 952133371 Fax 952131397 C ONFERENCIANTE : Manuel Wimmer T ÍTULO DE LA C OFERENCIA : Search-Based Model Transformations F ECHA : Lunes 25/04/2016 R ESUMEN DE LA C ONFERENCIA : 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. B REVE C URRICULUM V ITAE DEL C ONFERENCIANTE Manuel Wimmer is senior researcher in the Business Informatics Group (BIG) at the Vienna University of Technology, Austria and guest professor in the Institute of Automation and Information Systems (AIS) at Technische Universität München, Germany. In 2011/2012, he has been a research associate in the Software Engineering Group at the University of Málaga, Spain, and in 2015 he has been a guest professor in the Software Engineering Research Group at the Philipps-University Marburg, Germany. He received his Ms and PhD degrees in Business Informatics from the Vienna University of Technology in 2005 and 2008, respectively. In 2014, he received his Habilitation (venia docendi) in Informatics from the Vienna University of Technology. He is/was involved in several national and international projects dealing with the foundations and application of model engineering techniques, especially model transformations, for domains such as tool interoperability, legacy tool modernization, model versioning and evolution, software reverse engineering and migration, Web engineering including social Web and semantic Web, Cloud computing, and flexible production systems. He is co-author of the book Model-driven Software Engineering in Practice (Morgan & Claypool, 2012).
