An Algorithm for Generating Model-Sensitive Search Plans for EMF Models

In this paper, we propose a new model-sensitive search plan generation algorithm to speed up the process of graph pattern matching. This dynamic programming based algorithm, which is able to handle general n-ary constraints in an integrated manner, collects statistical data from the underlying EMF model, and uses this information for optimization purposes. Additionally, runtime performance measurements have been carried out to quantitatively evaluate the effects of the search plan generation algorithm on the pattern matching engine.

[1]  Andy Schürr,et al.  Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques , 2012 .

[2]  Arend Rensink.  The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[3]  Dániel Varró,et al.  Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans , 2006, GRaMoT@GPCE.

[4]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[5]  Holger Giese,et al.  Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques , 2009 .

[6]  Andy Schürr,et al.  Unification of Compiled and Interpreter-Based Pattern Matching Techniques , 2012, ECMFA.

[7]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[8]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance , 2004, Lecture Notes in Computer Science.

[9]  Daniel Grund,et al.  GrGen: A Fast SPO-Based Graph Rewriting Tool , 2006, ICGT.

[10]  Hartmut Ehrig,et al.  Refinements of Graph Transformation Systems via Rule Expressions , 2000 .

[11]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[12]  Gergely Varr ´ o,et al.  Generic Search Plans for Matching Advanced Graph Patterns , 2007 .

[13]  Manfred Nagl,et al.  Graph-Grammars and Their Application to Computer Science , 1986, Lecture Notes in Computer Science.

[14]  Albert Zündorf,et al.  Graph Pattern Matching in PROGRES , 1994, TAGT.

[15]  Paolo Bottoni,et al.  Workshop on Graph Transformation and Visual Modeling Techniques , 2002, ICGT.

[16]  Rubino Geiß,et al.  A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching , 2008, AGTIVE.

[17]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.