verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Published 20 hours ago • verified publisher icon Verites

Scheduling rule executions

Open andreicosta opened this issue 7 years ago • 1 comments

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 avatar Jun 19 '17 19:06 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.

andreicosta avatar Jun 27 '17 23:06 andreicosta