Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

Maribel Fernandez 1 Hélène Kirchner 2 Bruno Pinaud 3
1 DCS - Department of Computer Science
2 Inria Siège
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique
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.
Keywords : graph rewriting strategies simulation visual environment port graph
Document type :
Conference papers
Complete list of metadatas
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
Long-term archiving on: Saturday, July 5, 2014 - 10:40:55 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | INRIA | LABRI | UNIV-BORDEAUX | LABRI-MABIOVIS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

398

Files downloads

1135

 

 

Contact

archive-ouverte@inria.fr