King's College London

Research portal

Strategic Port Graph Rewriting: An Interactive Modelling Framework

Research output: Contribution to journalArticlepeer-review

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

Original languageEnglish
Pages (from-to)615-662
JournalMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Volume29
Issue number5
Early online date2 Aug 2018
DOIs
Accepted/In press26 Jun 2018
E-pub ahead of print2 Aug 2018
PublishedMay 2019

Documents

Links

King's Authors

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 semantics for the language, and describe its implementation: the graph transformation and visualisation tool Porgy.

Download statistics

No data available

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454