论文信息 - Automated Program Generation for and by Model Transformation Systems

Automated Program Generation for and by Model Transformation Systems

Model transformationsystemsaregraphtransformationsystemsthat performtranslationsbetweenlanguagesdefinedby a correspondingmetamodel asthe type graph.The currentpaperproposesa reflective methodfor the automaticgenerationof the implementationfor suchtransformationsystemsderived from a high–level specificationconsistingof a setof graphtransformationrules anda controlflow graph.Theprogramgeneratortakesa UML profile tailoredto modeltransformationsystemsasthe input, andproducestheoutputPrologprogramby successi ve modeltransformationsteps.In this respect,only thecoreof theprogramgeneratoris implementedby hand,andafterwards,thiscoreprovides automationfor additionalfeaturesof theVIATRA modeltransformationsystem.

Daniel Varro

[1] András Pataricza,et al. Checking General Safety Criteria on UML Statecharts , 2001, SAFECOMP.

[2] Albert Zündorf,et al. The PROGRES approach: language and environment , 1999 .

[3] Mark Minas,et al. Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing , 2000 .

[4] Grzegorz Rozenberg,et al. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[5] Reiko Heckel,et al. Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach , 1997, Handbook of Graph Grammars.

[6] Gregor Engels,et al. UML Collaboration Diagrams and their Transformation to Java , 1999, International Conference on the Unified Modeling Language.

[7] Hartmut Ehrig,et al. Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages , 1998, TAGT.

[8] César Muñoz,et al. An Overview of SAL , 2000 .

[9] Diego Latella,et al. Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..

[10] Cris Kobryn. UML 2001: a standardization odyssey , 1999, CACM.

[11] Gabriele Taentzer,et al. Towards Common Exchange Formats for Graphs and Graph Transformation Systems , 2001, UNIGRA.

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