Henshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser

Abstract

This tutorial presents Henshin, a versatile model transformation language increasingly used in academic and industrial applications. Henshin is based on the paradigm of graph transformation and provides a comprehensive tool set that supports largely declarative transformation specifications as well as various formal analyses. We present the application of Henshin in a search-based model optimisation scenario, where the goal is to find an optimal model regarding a given fitness function. Using Henshin, we specify evolutionary operators for MDEOptimiser, a novel search-based model optimisation tool.