Strategic Port Graph Rewriting: an Interactive Modelling 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 semantics for the language, and describe its implementation: the graph transformation and visualisation tool Porgy.
Type de document :
Article dans une revue
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, pp.1-48. 〈10.1017/S0960129518000270〉
Liste complète des métadonnées

Littérature citée [62 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01251871
Contributeur : Bruno Pinaud <>
Soumis le : vendredi 22 décembre 2017 - 15:51:16
Dernière modification le : vendredi 31 août 2018 - 16:11:40

Fichier

main-long-report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Maribel Fernández, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: an Interactive Modelling Framework. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, pp.1-48. 〈10.1017/S0960129518000270〉. 〈hal-01251871v3〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

97