Note: The rule systems below are frozen after uploading. This means that they may correspond to an older GROOVE version, and may need conversion before loading.
-
Formal Definition of a General Ontology Pattern Language Using a Graph Grammar (FedCSIS 2017)
Rule system used in the paper: Ontology Pattern Grammar
-
How Much are your Geraniums? Taking Graph Conditions beyond First Order (ModelEd, TestEd, TrustEd 2017)
Rule system used in the paper: Geraniums experiment
-
A Tutorial on Graph Transformation (Graph Transformation, Specifications, and Nets 2017)
Rule system used in the paper: Leader Election Protocol
-
Graph Subsumption in Abstract State Space Exploration (GRAPHITE 2012)
Rule systems used in the paper: ZIP with all the rule systems
-
Knowledge-based Graph Exploration Analysis (AGTIVE 2011)
Rule system used in the paper: Feature Model: grammar encoding a problem from the feature model domain and showing the use of the new Prolog extension.
-
Transformation Tool Contest (2011)
GROOVE submissions to TTC, as pdf and GROOVE grammars:
-
Hello World case: the submitted paper, greeting rules and other rules
-
Compiler optimisation case: the submitted paper, task 1 rules and task 2 rules
-
-
Modelling and analysis using GROOVE (STTT 2011); digital version here
Rule systems used in the paper:
- AntWorld: grammar encoding a particular model of ant behaviour
- BPEL to BPMN: encoding of a model transformation from BPEL to BPMN
- Leader Election: specification of a leader election protocol
- Secturity Analysis: grammar allowing the analysis of security policies
-
Isomorphism Checking for Symmetry Reduction (Technical Report, 2010)
Rule system used in the paper: No-hops gossiping network (model of a gossiping network with push and pull modes).
-
Applying Formal Methods to Gossiping Networks with mCRL and Groove (ACM SIGMETRICS 2008, digital version here)
Rule system used in the paper: No-hops gossiping network (model of a gossiping network with push and pull modes).
-
Ludo: A Case Study for Graph Transformation Tools (AGTIVE 2007; digital version here)
Rule system used in the paper: Ludo (GROOVE solution of the Ludo game).
-
Isomorphism Checking in GROOVE (GraBaTs 2006; digital version here)
Rule systems used in the paper:
- Gossiping Girls: model of the “gossiping girls” problem using rule priorities
- Another, improved version of the rule system using nested rules
- List append: An encoding of a simple recursive function appending elements to a given list
- Mutual exclusion: A model of a token-based mutual exclusion algorithm