PORGY

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.


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Boy de la Tour, Thierry; Echahed, Rachid: Parallel rewriting of attributed graphs (2020)
  2. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  3. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Labelled port graph -- a formal structure for models and computations (2018)
  4. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason: Labelled graph strategic rewriting for social networks (2018)
  5. Alves, Sandra; Fernández, Maribel: A graph-based framework for the analysis of access control policies (2017)
  6. Andersen, Jakob L.; Flamm, Christoph; Merkle, Daniel; Stadler, Peter F.: A software package for chemically inspired graph transformation (2016)
  7. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason: Labelled graph rewriting meets social networks (2016)
  8. Alves, Sandra; Fernández, Maribel: A framework for the analysis of access control policies with emergency management (2015)
  9. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  10. Andrei, Oana; Kirchner, Hélène: Runtime verification for biochemical programs (2013)
  11. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  12. Jiresch, Eugen; Gramlich, Bernhard: Realizing monads in interaction nets via generic typed rules (2012)
  13. Andrei, Oana; Fernández, Maribel; Kirchner, Hélène; Melançon, Guy; Namet, Olivier; Pinaud, Bruno: PORGY: strategy-driven interactive transformation of graphs (2011)


Further publications can be found at: http://tulip.labri.fr/TulipDrupal/?q=porgy#publications