A Generic Static Analysis Framework for Model Transformation Programs

Abstract

To ensure the correctness of complex model transformations tools that can find errors are necessitated. The goal of this paper is to define a static analysis framework which can detect some common errors in transformation programs. The proposed tool is based on a graph model of the transformation program and defines the analysis criteria as abstract analysis problems.

6 Figures and Tables

Cite this paper

@inproceedings{Ujhelyi2009AGS, title={A Generic Static Analysis Framework for Model Transformation Programs}, author={Zolt{\'a}n Ujhelyi and {\'A}kos Horv{\'a}th and D{\'a}niel Varr{\'o}}, year={2009} }