|
School of
Engineering and Information
Sciences Abstract PORGY: a strategy-driven interactive environment for graph visualisation Maribel
Fernandez Abstract PORGY is an interactive, visual environment for graph transformations based on graph-rewriting rules controlled by strategies. It has been used to model interaction networks and biochemical pathways whose states are represented by port graphs and evolutions are driven by rules and strategies. The visualisation features provide the user with useful insights on possible behaviours of the model and its properties. In this talk we will describe PORGY's strategy language, which is used to control the rewriting engine and the generation of execution traces, and give examples of graph-based programs in this language. The design and implementation of PORGY is currently under way, as part of the PORGY project (INRIA Bordeaux Sud-Ouest and King's College London: Oana Andrei, Maribel Fernandez, Helene Kirchner, Guy Melancon, Olivier Namet, Bruno Pinaud). https://gravite.labri.fr/?Projects_%2F_Grants:Porgy ------- Bio Maribel Fernandez is a Reader in Computer Science at King's College London. She completed a PhD in 1993 (University of Paris-Sud), and obtained an Habilitation (Higher Doctorate) from University of Paris-Sud and Ecole Normale Superieure (ENS Paris) in 2000. Her research focuses on rewrite-based multiparadigm computation models and associated programming languages, and the development of tools for the specification, analysis and verification of complex systems, such as biochemical systems, telecommunications or software applications. Recently, she has also applied rewriting techniques to the formalisation of access control models and policies.
|
