This repository contains the GROOVE code base.
GROOVE is a tool for graph transformation and verification, developed and maintained at the University of Twente. For more information go to https://nl-utwente-groove.github.io
All Maven dependencies are obtained automatically; a fresh clone builds without any further setup:
mvn clean package
All libraries come from Maven Central. Three third-party libraries that were never
published there by their upstreams (gnuprologjava, ltl2buchi, groove-gxl)
have been republished to Maven Central by the GROOVE project itself,
under the nl.utwente.groove group id; the repackaging modules and the publication
procedure live in lib/publish.
(Only for the GROOVE maintainers)
To prepare for a release (on SourceForge), three things need to be done:
- Running all tests
- Building and installing the Maven artefact
- Generating the Javadoc
For this purpose, in Eclipse invoke the Launch configurations
- Step 1:
GROOVE core - all JUnit tests - Steps 2&3:
GROOVE core - prepare for build
The next steps are to be taken from the groove-release projects, and are described there (in the HOWTO)
(Only for the GROOVE maintainers)
To deploy GROOVE to Maven Central, invoke the following from the command line, in a version of the GROOVE project where the pom has a release version (and not a SNAPSHOT version):
mvn clean javadoc:aggregate-jar deploy
(I have not found a way to make the javadoc:aggregate-jar part of the deploy project, though I'm
pretty sure it can be done.)
The development of GROOVE was assisted by the use of the Yourkit Java Profiler
YourKit supports open source projects with innovative and intelligent tools for monitoring and profiling Java and .NET applications.
The visualizations inside GROOVE are built with yFiles for Java (Swing)
yFiles is your superior SDK for interactive graph visualization with automatic layout algorithms, available for web, .NET, and Java platforms. Developed by yWorks – the diagramming experts