Abstract
With the growing importance of model-driven development, the ability of transforming
models into well-defined semantic domains becomes a key to automated
code generation or verification in the software development process.
In this paper, we describe a high-level concept for specifying model transformations
by means of typed, attributed graph transformation at the level of formal
visual language specifications for the source and the target language. At the implementation
level, a graph-transformation based generator of visual editor Eclipse
plug-ins from formal visual language specifications has been developed. On the
basis of this generator we discuss concepts for an implementation of the presented
model transformation concepts and for an integration with the generated Eclipse
plug-ins.
We explain the concepts for model transformation and their implementation along
a concrete model transformation from activity diagrams to Petri nets.
Users
Please
log in to take part in the discussion (add own reviews or comments).