• Se celebrará en Sala de Grados B de la ETSI de Informática, el 25/04/2016, 12:30

  • Hablará de temas relacionados con Search Based Software Engineering, en particular
    sobre su aplicación a las transformaciones de modelos.

    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.

    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).