search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Scheduling rule executions #56

Open andreicosta opened 7 years ago

andreicosta commented 7 years ago

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 commented 7 years ago

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.