This is the web edition of the GROOVE user manual, which supersedes the legacy PDF manual. All chapters have been rewritten against the current feature set of the tool; the status column below records the tool version against which each chapter was last checked.
Chapters
| Chapter | Contents | Checked against |
|---|---|---|
| Introduction | What GROOVE is, the concepts behind it, and the components of the tool set | 7.5.3 |
| Graphs and rules | Editing host graphs and transformation rules | 7.5.3 |
| Advanced rule features | Wildcards, regular expressions, attributes, parameters, quantification, typing and system properties | 7.5.3 |
| Control language | Programming the order of rule applications | 7.5.3 |
| Exploration and verification | Exploration strategies and model checking | 7.5.3 |
| Import and export | Storage formats, and exchanging graphs and grammars with other tools | 7.5.3 |
Reference pages
In addition to the chapters, the manual contains reference pages that are generated from the GROOVE source code, so they cannot drift out of date:
- Aspect prefixes — the complete label syntax for host graphs, rules and type graphs
- Data operations — all built-in operations on the data sorts
- Control grammar — the full grammar of the control language
- Strategies and acceptors — the named vocabulary of the legacy exploration options
Legacy PDF documents
The previous edition of the user manual consists of two PDF documents, both quite outdated with respect to the current feature set:
Help within the tool
Further help is available within the Simulator tool: when editing graphs or control programs, the right-hand side panel displays a range of options. Hovering on the options gives you further information about how to use them. Here are two example screenshots:
| Graph editor prefixes | Control language grammar |
|---|---|
 |
 |