A graph rewriting library
The ReGraph Python library is a generic framework for modelling graph-based systems. In this context models are viewed as graphs and graph transformations - as a tool to describe both the system evolution and the model evolution read more about the approach.
ReGraph provides various utilities for graph rewriting which can be used for modelling the evolution of a system represented by a graph subject to rewriting. The rewriting functionality is based on the sesqui-pushout rewriting procedure [7]. In addition, the library enables a user to define a typing for models (graphs) that gives specifications for the structure of the models. This later functionality allows both to preserve the specified structure during rewriting and to propagate the changes to the specifications up to the models.
ReGraph contains a collection of utilities for graph rewriting on NetworkX(version 1) graph objects, both undirected graphs (networkx.Graph
) and directed ones (networkx.DiGraph
).
The required Python 3
packages are given inside the requirements.txt file
To avoid manual installation and to easily set up development environment you may consider following the instructions below:
Create a new virtual environment
virtualenv venv -p path/to/your/python3
To activate the environment
source venv/bin/activate
In order to install the ReGraph library you have to clone this repository using SSH
git clone git@github.com:Kappa-Dev/ReGraph.git
or using HTTPS
https://github.com/Kappa-Dev/ReGraph.git
Install the library with
python setup.py install
nosetests -v -s