Automatic Program Generation for and by Model Transformation Systems

TitleAutomatic Program Generation for and by Model Transformation Systems
Publication TypeConference Paper
Year of Publication2002
AuthorsVarró, D.
EditorKreowski, H-J., and Knirsch, P.
Conference NameProc. AGT 2002: Workshop on Applied Graph Transformation
Date PublishedApril 12–13
Conference LocationGrenoble, France
AbstractModel transformation systems are graph transformation systems that perform translations between languages defined by a corresponding metamodel as the type graph. The current paper proposes a reflective method for the automatic generation of the implementation for such transformation systems derived from a high–level specification consisting of a set of graph transformation rules and a control flow graph. The program generator takes a UML profile tailored to model transformation systems as the input, and produces the output Prolog program by successive model transformation steps. In this respect, only the core of the program generator is implemented by hand, and afterwards, this core provides automation for additional features of the VIATRA model transformation system.