Abstract
GrGen.NET is a graph rewrite tool enabling elegant and convenient development of graph transformation applications with comparable performance to manually developed ones. GrGen.NET compiles declarative specifications of graph meta models, patterns, and rewrite rules into .NET modules. The entire functionality (meta-model, matching, rewriting, elementary graph operations) is accessible through a convenient API (called libGr) enabling easy integration of GrGen.NET into custom applications. Meta-model and rule languages have formal semantics based on a new combination of category theory and denotational semantics [1].
Keywords
- Category Theory
- Formal Semantic
- Denotational Semantic
- Search Plan
- Rule Language
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Geiß, R.: Graphersetzung mit Anwendungen im Übersetzerbau. PhD thesis, Universität Karlsruhe, approved, to appear (2007)
Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GrGen: A Fast SPO-Based Graph Rewriting Tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 383–397. Springer, Heidelberg (2006)
Schösser, A., Geiß, R.: Graph Rewriting for Hardware Dependent Program Optimizations. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088. Springer, Heidelberg (2008)
Gelhausen, T., Derre, B., Geiß, R.: Customizing GrGen.NET for Model Transformation. In: GraMoT 2008 (accepted, 2008)
Batz, G.V., Kroll, M., Geiß, R.: A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Geiß, R., Kroll, M. (2008). GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-89020-1_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89019-5
Online ISBN: 978-3-540-89020-1
eBook Packages: Computer ScienceComputer Science (R0)