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 tools. The goal is to facilitate the specification and programming tasks associated with the modelling of complex systems. A system 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. We give a formal operational semantics for the language, and describe its implementation: the graph transformation and visualisation tool Porgy.
Document type :
Reports
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://hal.inria.fr/hal-01251871
Contributor : Helene Kirchner <>
Submitted on : Wednesday, January 6, 2016 - 7:45:08 PM
Last modification on : Thursday, April 19, 2018 - 2:24:03 PM
Long-term archiving on : Friday, April 15, 2016 - 4:51:10 PM

File

main-long.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01251871, version 1

Citation

Maribel Fernández, Héìène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. [Research Report] Inria. 2016. ⟨hal-01251871v1⟩

Share

Metrics

Record views

227

Files downloads

89