Scheduling rule executions

[andreicosta]

Verigraph does not support programmed simulation of graph transformations. It is not possible to pre-program a sequence of rules to be applied, or even to apply rules whenever possible, over an initial state.

Since all background is available, I think we should build a module for simulation of these transformations, generic in the object to be transformed.

I think it is also important because this very interesting study on benchmarking graph transformation tools that could be executed:
http://www.cs.bme.hu/~gervarro/publication/TUB-TR-05-EE17.pdf

[andreicosta]

Ideas:

In the GROOVE tool is possible to program a control of the rules application, they support commands such as: if then else, do while, repeat as long as possible, etc.

GP is a rule-based programming language over graph rules.