The visual graph rewriting platform

PORGY aims at designing relevant graphical representations and adequate interactions on dynamic graphs emerging from graph rewriting systems. Graph rewriting systems appear as a powerful formalism to capture and study phenomena occurring in complex systems, such as the evolution of bio-molecular networks, adhoc communication networks or interaction nets.

The ability to act on the simulation of the rewriting calculus will 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, we aim to develop an environment that will allow us to:

- create a graph using a visual editor;
- trigger a series of transformations on the graph using graph rewriting rules to describe transformations;
- display a sequence of graphs obtained by application of transformation steps, as well as the sequence of rules underlying these transformations;
- design analysis and verification tools to check static and dynamic properties of graphs.

The desired tool will ultimately be used to model, visualise and simulate biological systems as well as to program with graphical languages such as interaction nets.

See a short video of porgy in action (used for the fast forward poster session of VAST 2011).

See a longer demonstration of Porgy for the simulation of a protein interaction network (video used for EUROVIS 2012).

See a short video of the interactive construction of the derivation tree (video used during our paper presentation at EUROVIS 2012).

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 svn source trees are available below. We also give acces to sample tulip files to be used inside Porgy.

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

- 2016
- Labelled Graph Rewriting Meets Social Networks

Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet

Rewriting Logic and Its Applications, WRLA 2016, Apr 2016, Eindhoven, Netherlands.

Dorel Lucanu. Springer International Publishing Switzerland, LNCS, 9942, pp.25, 2016, LNCS <10.1007/978-3-319-44802-2_1>

- Labelled Graph Rewriting Meets Social Networks
- 2015
- Une approche de visualisation analytique pour comparer les modèles de propagation dans les réseaux sociaux

Jason Vallet, Bruno Pinaud, Guy Melançon

*Extraction et Gestion de Connaissances (EGC 2015)*, Jan 2015, Luxembourg, Luxembourg.

Jérôme Darmont, Benoît Otjacques, Thomas Tamisier. Revue des Nouvelles Technologies de l'Information (RNTI), RNTI-E-28, pp.365--376, 2015, <http://editions-rnti.fr/?procid=100162> - A Visual Analytics Approach to Compare Propagation Models in Social Networks

Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon

*Graphs as Models*, Apr 2015, London, United Kingdom. <http://www.utwente.nl/ewi/gam2015/>

Arend Rensink; Eduardo Zambon. Electronical Proceedings in Theoretical Computer Science, 181, 2015. <10.4204/EPTCS.181.5>

- Une approche de visualisation analytique pour comparer les modèles de propagation dans les réseaux sociaux
- 2014
- Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY

Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud

*Computability In Europe*, Jun 2014, Budapest, Hungary.

Arnold Beckmann; Erzsébet Csuhaj-Varjú; Klaus Meer. Springer International Publishing, Lecture Notes in Computer Science, 8493, pp.183-193, 2014, Language, Life, Limits. <10.1007/978-3-319-08019-2_19> - Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

Maribel Fernandez; Hélène Kirchner ; Bruno Pinaud.

3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). <http://sysma.imtlucca.it/graphite/>.

- Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
- 2012
- PORGY: A Visual Graph Rewriting Environment for Complex Systems

Bruno Pinaud ; Guy Melançon; Jonathan Dubois

*Computer Graphics Forum -*Eurographics Conference on Visualization (EuroVis 2012) special issue, 31 (3pt4), pp. 1265-1274. - A strategy language for graph rewriting

Olivier Namet, Maribel Fernandez and Helene Kirchner.

Logic-Based Program Synthesis and Transformation(LOPSTR), 2012. LNCS 7225, Springer, pp. 173-188. <10.1007/978-3-642-32211-2_12>

- PORGY: A Visual Graph Rewriting Environment for Complex Systems

- 2011
- PORGY: Strategy-Driven Interactive Transformation of Graphs

Andrei Oana; Fernandez Maribel; Kirchner Hélène; Melançon Guy ; Namet Olivier; Pinaud Bruno

*6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011)*, Apr 2011, Saarbrücken, Germany.

Peer-reviewed conference/proceedings: Rachid Echahed. Electronic Proceedings in Theoretical Computer Science (EPTCS), 48, pp. 54-68 - PORGY: Interactive and Visual Reasoning with Graph Rewriting Systems

Pinaud Bruno ; Jonathan Dubois; Melançon Guy

Congres communications*, Poster Abstracts of IEEE VisWeek 2011*, Oct 2011, Providence, United States.

- PORGY: Strategy-Driven Interactive Transformation of Graphs
- 2010
- PORGY : réécriture et visualisation de graphes dynamiques

Pinaud Bruno and Melançon Guy.

In*Extraction et Gestion des Connaissances (EGC 2010), 8*(in French).^{e}Atelier Visualisation et Extraction de Connaissances - Strategic programming on graph rewriting systems

Maribel Fernández and Olivier Namet,

Electronic Proccedings in Theoretical Computer Science, vol. 44 (2010), pp 1-20

- PORGY : réécriture et visualisation de graphes dynamiques
- 2009
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Invited talk)

O. Andrei and H. Kirchner.

Proc. of TERMGRAPH 2009, 5^{th}International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009,

A. Corradini (ed.), Elec. Notes in Theoretical Computer Science, Elsevier. - Graph creation, visualisation and transformation

M. Fernandez and O. Namet.

Proc. of the 10^{th}Int. Workshop on Rule Based Programming, RULE 2009, Federated Conference on Rewriting, Deduction, Programming.

Elec. Proc. in Theoretical Computer Science.

- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Invited talk)

For any inquiries regarding PORGY, please take contact with one of the project administrators: