Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

Abstract

We present strategic port graph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulation of complex systems, using port graphs. A system is represented by an initial graph and a collection of graph rewriting rules, together with a user-defined strategy to control the application of rules. The strategy language includes constructs to deal with graph traversal and management of rewriting positions in the graph. We give a small-step operational semantics for the language, and describe its implementation in the graph transformation and visualisation tool PORGY.

Labelled Graph Rewriting Meets Social Networks

“…Let us first recall the notion of port graph morphism [19]. Let G and H be two port graphs over the same signature ∇.…”

“…In this paper we consider port graphs with attributes associated with nodes, ports and edges, generalising the notion of port graph introduced in [2,3]. The following definitions, based on [19], have been generalised to use indistinctly either directed or undirected edges. We present first the intuitive ideas, followed by the formal definition of port graph rewriting.…”

“…According to [19], a rewriting step on G using a rule L ⇒ R (where C) and a morphism g : L → G (satisfying C), written G → g L⇒R G , transforms G into a new graph G obtained from G by performing the following operations in three phases:…”

“…In the following, we reuse from [19] the formal definitions of port graphs with attributes, rewrite rule and rewriting step, the concept of strategic graph program, as well as the definition of the strategy language and its operational semantics, and enrich them in order to achieve a more complete and generic definition. Most notably, the refined definitions permit the use of oriented edges and conditional existence matching, reminiscent of similar solutions found in Elan [10] and GP [35].…”

“…Port graph rewriting systems have been used to model systems in a wide variety of domains, such as biochemistry, interaction nets, games or social networks (e.g., [1,20,21,37]). In the following, we reuse from [19] the formal definitions of port graphs with attributes, rewrite rule and rewriting step, the concept of strategic graph program, as well as the definition of the strategy language and its operational semantics, and enrich them in order to achieve a more complete and generic definition.…”