PORGY

The visual graph rewriting platform

  Presentation

PORGY is a visual and interactive platform for modelling, simulating and analysing complex systems based on graph rewriting.
PORGY offers the ability to act on the simulation of the rewriting calculus and thus offer the expert a unique mean of interacting with the systems they design and study, turning interactive visualisation of graph rewriting systems into a high-level visual programming environment.

This is a joint work with Maribel Fernandez from King's College London and Hélène Kirchner from Inria. The first version of Porgy was developed thanks to the Inria associate team program (2009-2011) and the ANR grant EVIDEN (ANR 2010-JCJC-0201-01).

Using as a starting point the Tulip system, PORGY allows us to:

PORGY is available on github as a set of plugins for Tulip and as binaries on this website. See the Download section.

  Screenshots and videos

  Download

Porgy (along with Tulip) is released under the LGPL licence. Porgy is built on top of Tulip as a perspective and a set of plugins. Versions 1.X of Porgy are based on Tulip 3.X. Porgy versions from 2.0 to 3.1 are based on Tulip 4.X.
Nightly Builds (may work or not...) of Porgy and Tulip 5.X (with all officially available plugins) based on the latest git sources tree are available below. We also give access to sample tulip files to be used inside Porgy.

Current version (nightly build)

Sources on GitHub

Windows
(x64)

MacOS
(universal)

Linux
(AppImage )

Samples

Documentation

Porgy 3.1 (2 March 2016)

Sources
(ReadMe.txt)

Windows
(x64)

MacOS
(universal)

Linux
(pre-compiled)

Samples

Documentation

Changelog: Binaries for version 3.0 were not properly compiled (Tulip was not compiled with -std=c++11)

Porgy 3.0 (18 December 2015)

Sources
(ReadMe.txt)

Windows
(x64)

MacOS
(universal)

Linux
(pre-compiled)

Samples

Documentation

Porgy 2.0 (December 19th, 2013)

Sources
(ReadMe.txt)

Windows
(x86)

MacOS
(universal)

Linux
(pre-compiled)

Samples

Documentation

Porgy 1.2 (November 6th, 2012)

Sources
(ReadMe.txt)

Windows
(x86)

MacOS
(Darwin)

Linux
(i686, x86_64)

Samples

Documentation

Porgy 1.1

Sources
(ReadMe.txt)

Windows
(x86)

MacOS
(Darwin)

Linux
(i686, x86_64)

Samples

Documentation

Porgy 1.0 beta 2

Sources
(ReadMe.txt)

Windows
(x86)

MacOS
(Darwin)

Linux
(i686, x64)

Samples

Documentation

  Publications

  About

Contact

Partners

University of Bordeaux
LaBRI: Laboratoire Bordelais de Recherche en Informatique

Inria
/body>