GrGen: a fast SPO-based graph rewriting tool

Authors:
Rubino Geiß;Gernot Veit Batz;Daniel Grund;Sebastian Hack;Adam Szalkowski
Affiliations:
Universität Karlsruhe (TH), Karlsruhe, Germany;Universität Karlsruhe (TH), Karlsruhe, Germany;Universität Karlsruhe (TH), Karlsruhe, Germany;Universität Karlsruhe (TH), Karlsruhe, Germany;Universität Karlsruhe (TH), Karlsruhe, Germany
Venue:
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Year:
2006

Citing 13
Cited 31

Logic based programmed structure rewriting systems

Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach

Handbook of graph grammars and computing by graph transformation
The PROGRES approach: language and environment

Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment

Handbook of graph grammars and computing by graph transformation
Graph rewrite systems for program optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient Graph Rewriting and Its Implementation

Efficient Graph Rewriting and Its Implementation
Computers and Intractability; A Guide to the Theory of NP-Completeness

Computers and Intractability; A Guide to the Theory of NP-Completeness
Graph Pattern Matching in PROGRES

Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans

Electronic Notes in Theoretical Computer Science (ENTCS)

Customizing grgen.net for model transformation

Proceedings of the third international workshop on Graph and model transformations
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Graph-Based Tools: The Contest

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Compiling custom instructions onto expression-grained reconfigurable architectures

CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Applications and Rewriting of Omnigraphs --- Exemplified in the Domain of MDD

Applications of Graph Transformations with Industrial Relevance
Graph Rewriting for Hardware Dependent Program Optimizations

Applications of Graph Transformations with Industrial Relevance
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching

Applications of Graph Transformations with Industrial Relevance
AGTIVE 2007 Graph Transformation Tool Contest

Applications of Graph Transformations with Industrial Relevance
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool

Applications of Graph Transformations with Industrial Relevance
Automatic Checklist Generation for the Assessment of UML Models

Models in Software Engineering
Efficient Model Transformations by Combining Pattern Matching Strategies

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Semantics-based change impact analysis for heterogeneous collections of documents

Proceedings of the 10th ACM symposium on Document engineering
Instruction selection by graph transformation

CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
A hoare calculus for graph programs

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Adding change impact analysis to the formal verification of C programs

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Bringing Domain Knowledge to Pattern Matching

Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
The edge of graph transformation: graphs for behavioural specification

Graph transformations and model-driven engineering
Non compositional semantics using rewriting

LTC'09 Proceedings of the 4th conference on Human language technology: challenges for computer science and linguistics
Lazy execution of model-to-model transformations

Proceedings of the 14th international conference on Model driven engineering languages and systems
PORGY: A Visual Graph Rewriting Environment for Complex Systems

Computer Graphics Forum
Unification of compiled and interpreter-based pattern matching techniques

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
A strategy language for graph rewriting

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
An algorithm for generating model-sensitive search plans for EMF models

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Elixir: a system for synthesizing concurrent graph programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence

Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Hoare-Style Verification of Graph Programs

Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A visual token-based formalization of BPMN 2.0 based on in-place transformations

Information and Software Technology
SmartTies --- management of safety-critical developments

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Applying incremental graph transformation to existing models in relational databases

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Synthesizing object life cycles from business process models

ER'12 Proceedings of the 31st international conference on Conceptual Modeling
A research roadmap towards achieving scalability in model driven engineering

Proceedings of the Workshop on Scalability in Model Driven Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Graph rewriting is a powerful technique that requires graph pattern matching, which is an NP-complete problem. We present GrGen, a generative programming system for graph rewriting, which applies heuristic optimizations. According to Varró's benchmark it is at least one order of magnitude faster than any other tool known to us. Our graph rewriting tool implements the well-founded single-pushout approach. We define the notion of search plans to represent different matching strategies and equip these search plans with a cost model, taking the present host graph into account. The task of selecting a good search plan is then viewed as an optimization problem. For the ease of use, GrGen features an expressive specification language and generates program code with a convenient interface.