PORGY

  Screenshots and videos

Example of Porgy in action. This video, commented in French, was presented at EGC 2017
as supplementary material accompagnying a demonstration of Porgy

Overview of Porgy.
1) The graph under rewriting, 2) editing a rule, 3) rule catalog,
4) derivation tree, a complete history of the rewriting operations,
5) the strategy expression editor.

Small Multiples view of the evolution of a graph under rewriting.
LHS/RHS show where the rule will make/made modifications in the graph.

Small Multiples view of the evolution of a graph under rewriting with a selected node.
A node is selected in blue. The selection is reporter on each thumbnail.

Hovering the mouse on an edge of the derivation tree
shows where the modifications made by a rule are.

A scatterplot build on a branch of the derivation tree to follow the evolution
of a system parameter. All views are synchronised: the selection of some point
on the scatterplot triggers the selection of the equivalent node of the derivation tree.

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).

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

Previous Next

  Publications

• 2020
• Report: Porgy Strategy Language: User Manual. Last update: 22/06/2020.
  Maribel Fernández, Hélène Kirchner, Bruno Pinaud, and Jason Vallet
  
• 2019
  • Journals
    • Strategic Port Graph Rewriting: an Interactive Modelling Framework
      Maribel Fernández, Hélène Kirchner, Bruno Pinaud
      Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29(5), pp. 615-662. DOI: 10.1017/S0960129518000270
      Supplementary material: http://porgy.labri.fr/strat_examples/
      
  • Conferences and Symposium
    • A Port Graph Rewriting Approach to Relational Database Modelling
      Janos Varga, Maribel Fernández, Bruno Pinaud
      29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019), Oct 2019, Porto, Portugal
    • A Strategic Graph Rewriting Model of Rational Negligence in Financial Markets.
      Nneka Ene, Maribel Fernández, Bruno Pinaud.
      4th International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Sep 2019, Tbilisi, Georgia.
    
    
  • Book chapter
    • Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy
      Oana Andrei, Maribel Fernández, Hélène Kirchner, Bruno Pinaud
      Bill Hlavacek (eds). Modeling Biomolecular Site Dynamics, 1945, Springer, In press, Methods in Molecular Biology, 978-1-4939-9100-6. 〈https://www.springer.com/book/9781493991006)
      Supplementary material: http://porgy.labri.fr/bio_examples/
      
• 2018
  • Finding the Transitive Closure of Functional Dependencies using Strategic Port Graph Rewriting
    Janos Varga
    Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD, 2018
    DOI: 10.4204/EPTCS.288.5
    
  • Labelled Graph Strategic Rewriting for Social Networks
    Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
    Journal of Logical and Algebraic Methods in Programming (JLAMP), Elsevier, 96 (C), pp.12--40.
    DOI: 10.1016/j.jlamp.2017.12.005
• 2017
  • Porgy Strategy Language: User Manual
    Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
    Research report, 2017. Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London.
  • Strategic Port Graph Rewriting: an Interactive Modelling Framework
    Maribel Fernández, Hélène Kirchner, Bruno Pinaud
    Research report, 2017. Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London.
  • PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting
    Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
    Extraction et Gestion de Connaissances (EGC 2017), Jan 2017, Grenoble, France.
    Revue des Nouvelles Technologies de l'Information (RNTI), RNTI-E-33, pp.473--476, 2017, <http://www.editions-rnti.fr/?inprocid=1002327>
• 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>
• 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>
• 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/>.
• 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>

• 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.
• 2010
  • PORGY : réécriture et visualisation de graphes dynamiques
    Pinaud Bruno and Melançon Guy.
    In Extraction et Gestion des Connaissances (EGC 2010), 8^e Atelier Visualisation et Extraction de Connaissances(in French).
  • Strategic programming on graph rewriting systems
    Maribel Fernández and Olivier Namet,
    Electronic Proccedings in Theoretical Computer Science, vol. 44 (2010), pp 1-20
• 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.