Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00954546
Contributor : Bruno Pinaud <>
Submitted on : Saturday, April 5, 2014 - 1:52:09 PM
Last modification on : Thursday, April 19, 2018 - 2:24:03 PM
Document(s) archivé(s) le : Saturday, July 5, 2014 - 10:40:55 AM

Files

Identifiers

Citation

Maribel Fernandez, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. pp.15--29, ⟨10.4204/EPTCS.159.3⟩. ⟨hal-00954546v3⟩

Share

Metrics

Record views

368

Files downloads

757