Hierarchical port graphs & PORGY - port graph rewriting as a modelling tool

Graph rewriting systems are natural verification and validation tools: they provide visual, intuitive representations of complex systems while specifying the dynamic behaviour of the system in a formal way. In this talk we will describe the use of strategic port graph rewriting as a basis for the implementation of a visual modelling tool: PORGY. We will present attributed hierarchical port graphs (AHP) and a notion of strategic AHP-rewriting as a mechanism to model the behaviour of dynamic systems. The system modelled is represented by an initial graph and a collection of graph rewrite rules, together with a user-defined strategy to control the application of rules. The traditional operators found in strategy languages for term rewriting have been adapted to deal with the more general setting of graph rewriting, and some new constructs have been included in the strategy language to deal with graph traversal and management of rewriting positions in the graph. In the second part of the talk, we describe PORGY and give examples of application in the areas of biochemistry, social networks and finance.

This is joint work with members of the PORGY team at Bordeaux and King’s College London.

  • Zoom registration: click here! Please consider joining the meeting already within the 15min prior to the start of the seminar to ensure your setup is functioning properly. You may connect with either the Zoom web or Zoom desktop clients.

  • Please note that the meeting will be recorded and live-streamed to YouTube (link to live stream).

Maribel Fernandez
Maribel Fernandez
Professor in Computer Science

Research

Development of tools for the specification, analysis and verification of complex systems (e.g., biochemical systems, financial systems, programming languages, software applications).

Main topics

  • Programming languages: Types, Semantics, Security. - Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.

Bruno Pinaud
Bruno Pinaud
Associate Professor in Computer Science

Dr. Bruno Pinaud received his PhD in computer science at University of Nantes, France in 2006. Since 2008, he is an associate professor in computer science at University of Bordeaux, France. He received his habilitation (HDR in French) in October 2019. His work focused on information visualisation, visual analytics, Social Network analysis and graph rewriting systems modeling. He is the lead developper of the visual and interactive graph rewriting platforme Porgy (https://porgy.labri.fr) and an active developer and promoter of the Tulip information visualisation framework (https://tulip.labri.fr).