Advertisement

GrGen.NET

The expressive, convenient and fast graph rewrite system
  • Edgar JakumeitEmail author
  • Sebastian Buchwald
  • Moritz Kroll
GraBaTs 2008

Abstract

GrGen.NET is a generative programming system for graph rewriting, transforming intuitive and expressive rewrite rule specifications into highly efficient .NET code. The user is supported by a convenient environment consisting of a graph viewer, an interactive shell with integrated debugging support, and an elegant domain-specific language for the combination of rewrite rules. After rapid prototyping with these tools, the resulting graph transformation programmes can be easily integrated into arbitrary .NET applications to serve as the algorithmic kernel. Expressiveness, convenience, and speed are exemplified by GrGen-solutions to the case studies AntWorld, Refactoring, and Conference Scheduling—besides others.

Keywords

General purpose graph transformation Graph rewriting Domain-specific language Generative programming tool Search-plan-driven graph pattern matching 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Batz, G.V.: An optimization technique for subgraph matching strategies. Internal report. http://www.info.uni-karlsruhe.de/papers/TR_2006_7.pdf (2006)
  2. 2.
    Blomer, J., Geiß, R.: The GrGen.NET user manual. Internal report. http://www.info.uni-karlsruhe.de/software/grgen/GrGenNET-Manual.pdf. Version: 2008
  3. 3.
    Bédaride, P., Gardent, C.: Semantic normalisation: a framework and an experiment. In: Eighth International Conference on Computational Semantics (2009)Google Scholar
  4. 4.
    Batz, G.V., Kroll, M., Geiß, R.: A first experimental evaluation of search plan driven graph pattern matching. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE ’07) Proceedings. http://www.info.uni-karlsruhe.de/papers/agtive_2007_search_plan.pdf (2008)
  5. 5.
    Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation. Part I: basis concepts and double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1 (1997)Google Scholar
  6. 6.
    Drewes, F., Kreowski, H.J., Habel, A.: Hyperedge replacement graph grammars. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1 (1997)Google Scholar
  7. 7.
    Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A.: Algebraic approaches to graph transformation. Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1 (1997)Google Scholar
  8. 8.
    Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story diagrams: a new graph grammar language based on the unified modelling language and java. In: Theory and Application of Graph Transformations, pp. 157–167 (2000)Google Scholar
  9. 9.
    Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.M.: GrGen: a fast SPO-based graph rewriting tool. In: Proceedings of 3rd International Conference on Graph Transformation (ICGT ’06). http://www.info.uni-karlsruhe.de/papers/grgen_icgt2006.pdf (2006)
  10. 10.
    Gelhausen, T., Derre, B., Geiß, R.: Customizing GrGen.NET for model transformation. In: GraMoT, pp. 17–24 (2008)Google Scholar
  11. 11.
    Geiß, R., Kroll, M.: On Improvements of the Varró benchmark for graph transformation tools. Internal report. http://www.info.uni-karlsruhe.de/papers/TR_2007_7.pdf. Version: 2007
  12. 12.
    Hoffmann, B., Jakumeit, E., Geiß, R.: Graph rewrite rules with structural recursion. In: 2nd International Workshop on Graph Computational Models (GCM 2008). http://www.info.uni-karlsruhe.de/papers/GCM2008.pdf (2008)
  13. 13.
    Holt, R.C., Schürr, A., Elliott Sim, S., Winter, A.: GXL: a graph-based standard exchange format for reengineering. In: Science of Computer Programming (2005)Google Scholar
  14. 14.
    Karsai G., Agrawal A., Shi F., Sprinkle J.: On the use of graph transformation in the formal specification of model interpreters. J. Univers. Comput. Sci. 9, 1296–1321 (2003)Google Scholar
  15. 15.
    Kroll, M., Geiß, R.: Developing graph transformations with GrGen.NET. Internal report. http://www.info.uni-karlsruhe.de/papers/agtive_2007_grgennet.pdf. Version: 2007
  16. 16.
    GNU Lesser General Public License. http://www.gnu.org/licenses/lgpl-3.0.txt. Version: 2007
  17. 17.
    Levendovszky T., Lengyel L., Mezei G., Charaf H.: A systematic approach to metamodeling environments and model transformation systems in VMTS. Electron. Notes Theor. Comput. Sci. 127, 65–75 (2005)CrossRefGoogle Scholar
  18. 18.
    Litovsky, I., Métivier, Y., Sopena, E.: Graph relabelling systems and distributed algorithms. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 3. World Scientific Publishing, Singapore (1999)Google Scholar
  19. 19.
    Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: MoDELS Satellite Events, pp. 139–150 (2005)Google Scholar
  20. 20.
    Mészáros, T., Mezei, G., Levendovszky, T., Asztalos, M.: Manual and automated performance optimization of model transformation systems. J. Softw. Tools. Technol. Transfer (2010). doi: 10.1007/s10009-010-0151-0
  21. 21.
    Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: ICSE ’00 Proceedings of the 22nd International Conference on Software Engineering, pp. 742–745 (2000)Google Scholar
  22. 22.
    Pérez, J., Crespo, Y., Hoffmann, B., Mens, T.: A case study to evaluate the suitability of graph transformation tools for program refactoring. Int. J. Softw. Tools. Technol. Transfer (2010). doi: 10.1007/s10009-010-0153-y
  23. 23.
    Rensink, A., Van Gorp, P.: Graph-based tools: the contest. In: Proceedings 4th International Conference on Graph Transformation (ICGT ’08) (2008)Google Scholar
  24. 24.
    Schösser, A., Geiß, R.: Graph rewriting for hardware dependent program optimizations. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE ’07) Proceedings. http://www.info.uni-karlsruhe.de/papers/agtive_2007_firm.pdf. Version: 2007
  25. 25.
    Schimmel, J., Gelhausen, T., Schaefer, C.A.: Gene expression with general purpose graph rewriting systems. In: Proceedings of the 8th GT-VMT Workshop (2009)Google Scholar
  26. 26.
    Schürr, A., Winter, A.J. , Zündorf, A.: The PROGRES approach: language and environment. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2, pp. 487–550 (1999)Google Scholar
  27. 27.
    Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Applications of Graph Transformations with Industrial Relevance, pp. 446–453 (2004)Google Scholar
  28. 28.
    Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horvath, Á., Kniemeyer, O., Mens, T., Ness, B., Plump, D., Vajk, T.: Generation of Sierpinski triangles: a case study for graph transformation tools. In: Proceedings of 3rd Interlnational Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE ’07), pp. 514–539 (2008)Google Scholar
  29. 29.
    Varró D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214–234 (2007)zbMATHCrossRefGoogle Scholar
  30. 30.
    Van Gorp, P., Levendovszky, T., Rensink, A.: Live Challenge Problem. http://is.tm.tue.nl/staff/pvgorp/events/grabats2009/cases/live_problem.pdf. Version: 2009
  31. 31.
    Varró, G., Horváth, Á., Varró, D.: Recursive graph pattern matching. In: Applications of Graph Transformations with Industrial Relevance, pp. 456–470 (2008)Google Scholar
  32. 32.
    Varró, G., Schürr, A., Varró, D.: Benchmarking for graph transformation. In: VLHCC ’05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 79–88 (2005)Google Scholar
  33. 33.
    Varró, G., Varró, D., Friedl, K.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: GraMot 2005, International Workshop on Graph and Model Transformations, pp. 191–205 (2006)Google Scholar
  34. 34.
    Wiese, R., Eiglsperger, M., Kaufmann, M.: yFiles: visualization and automatic layout of graphs. In: Graph Drawing, 9th International Symposium (2002)Google Scholar
  35. 35.
    Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Software Visualization—International Seminar Dagstuhl Castle (2002)Google Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  • Edgar Jakumeit
    • 1
    Email author
  • Sebastian Buchwald
    • 1
  • Moritz Kroll
    • 1
  1. 1.Institut für Programmstrukturen und DatenorganisationUniversität KarlsruheKarlsruheGermany

Personalised recommendations