Graph transformation systems, like PROGRES and Fujaba, can be used for modeling software systems of various domains, and support the automatic generation of executable code. A graph transformation rule is executed only if the pattern of the transformation’s left-hand side is found in the graph. The search for the pattern has an exponential worst-case complexity. In many cases, the average compl...
