Skip to main content
SpringerLink
Log in

GrGen.NET

The expressive, convenient and fast graph rewrite system

  • GraBaTs 2008
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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. 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. Bédaride, P., Gardent, C.: Semantic normalisation: a framework and an experiment. In: Eighth International Conference on Computational Semantics (2009)

  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. 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)

  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)

  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)

  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)

  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. Gelhausen, T., Derre, B., Geiß, R.: Customizing GrGen.NET for model transformation. In: GraMoT, pp. 17–24 (2008)

  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. 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. 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)

  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. 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. GNU Lesser General Public License. http://www.gnu.org/licenses/lgpl-3.0.txt. Version: 2007

  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)

    Article  Google Scholar 

  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)

  19. Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: MoDELS Satellite Events, pp. 139–150 (2005)

  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. 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)

  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. Rensink, A., Van Gorp, P.: Graph-based tools: the contest. In: Proceedings 4th International Conference on Graph Transformation (ICGT ’08) (2008)

  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. Schimmel, J., Gelhausen, T., Schaefer, C.A.: Gene expression with general purpose graph rewriting systems. In: Proceedings of the 8th GT-VMT Workshop (2009)

  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)

  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)

  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)

  29. Varró D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214–234 (2007)

    Article  MATH  Google Scholar 

  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. Varró, G., Horváth, Á., Varró, D.: Recursive graph pattern matching. In: Applications of Graph Transformations with Industrial Relevance, pp. 456–470 (2008)

  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)

  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)

  34. Wiese, R., Eiglsperger, M., Kaufmann, M.: yFiles: visualization and automatic layout of graphs. In: Graph Drawing, 9th International Symposium (2002)

  35. Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Software Visualization—International Seminar Dagstuhl Castle (2002)

Download references

Author information

Authors and Affiliations

  1. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Karlsruhe, Germany

    Edgar Jakumeit, Sebastian Buchwald & Moritz Kroll

Authors
  1. Edgar Jakumeit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sebastian Buchwald
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Moritz Kroll
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Edgar Jakumeit.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jakumeit, E., Buchwald, S. & Kroll, M. GrGen.NET. Int J Softw Tools Technol Transfer 12, 263–271 (2010). https://doi.org/10.1007/s10009-010-0148-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-010-0148-8

Keywords

Search

Navigation