Towards Model Transformation in Generated Eclipse Editor Plug-Ins

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.

[1]  Gabriele Taentzer,et al.  Towards Graph Transformation Based Generation of Visual Editors Using Eclipse , 2005, Electron. Notes Theor. Comput. Sci..

[2]  M. Minas,et al.  Application of graph transformation to visual languages , 1999 .

[3]  Dániel Varró,et al.  Designing the automatic transformation of visual languages , 2002, Sci. Comput. Program..

[4]  Reiko Heckel,et al.  Towards automatic translation of UML models into semantic domains , 2002 .

[5]  Gabriele Taentzer,et al.  Generation of visual editors as eclipse plug-ins , 2005, ASE.

[6]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[7]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[8]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[9]  Juan de Lara,et al.  Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts , 2002, ICGT.

[10]  Dániel Varró,et al.  Termination Criteria for Model Transformation , 2005, Transformation Techniques in Software Engineering.

[11]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[12]  Hartmut Ehrig,et al.  Fundamental Theory for Typed Attributed Graph Transformation , 2004, ICGT.

[13]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[14]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.