LaBRI/INRIA GRAVITÉ Team
Locations of visitors to this page
February 2010
<<     >>
Mon Tue Wed Thu Fri Sat Sun
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
Username

Password

Remember Me!
Welcome on GRAVITÉ's web site > Projects / Grants > Porgy

Porgy




PORGY – Interactive Analysis and Visualisation of Port Graph Rewriting Systems

INRIA associate teams (2009 call) program with King's College London and Hélène Kirchner (DR INRIA seconded from CNRS)

Scientific results of the first year and agenda of the second year (in French)

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.

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.



Submenu