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