Visual Modelling and Analysis of Model Transformations based on Graph Transformation.
Claudia Ermel · Bulletin of the European Association for Theoretical Computer Science · 2009
In the context of model-driven software development, the concepts of visual modelling and model transformation are of increasing importance. Although there is a wide range of tool support for designing and executing visual models and model transformations during system design, the analysis of model behaviour and of model transformation properties is not yet supported in a satisfactory way. In this article, we consider typed attributed graph transformation as formal framework for model transformations to deal with this problem. We give a conceptual overview on research activities and a survey of current research papers on the formalization of visual modelling and analysis of model transformations based on typed attributed graph transformation.