Strategic port graph rewriting: an interactive modelling framework

DOI10.1017/S0960129518000270MaRDI QIDQ4629264zbMATH OpenWikidataFDO

Authors Maribel Fernández, Hélène Kirchner, Bruno Pinaud

Publication date 21 March 2019

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.7929

Grammars and rewriting systems (68Q42) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Abstract: We present strategic portgraph 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.

Recommendations

Cites work

Cited in

(18)

Describes a project that uses

Uses Software

This page was built for publication: Strategic port graph rewriting: an interactive modelling framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4629264)