Graph Transformation Theory and Applications
Friday February 23, 2024, 3PM, online
Arend Rensink (University of Twente) In the Groove - Part 2
In this second part of the tutorials on GROOVE, the following advanced features will be covered: Nested rules, rule parameters, control (functions and recipes), and model checking. Participants are invited to install a local copy of GROOVE and to download the .zip file with examples from the tutorial, which is available on the event's GReTA page.
Graph Transformation Theory and Applications
Friday February 9, 2024, 3PM, online
Carlos Zapata-Carratalá (Wolfram Institute, United States) Higher-Arity Algebra via Hypergraph Rewriting
Graph Transformation Theory and Applications
Friday January 26, 2024, 3PM, online
Arend Rensink (University of Twente) In the Groove
In this talk I will show the capabilities of the tool, especially touching on the more advanced features such as nested rules, attribute manipulation, recipes (aka transactions) and various analysis techniques. Some of these are recent extensions. I am also very interested in any type of feedback regarding potential use cases and desirable features.