Strategic Port Graph Rewriting: an Interactive Modelling Framework - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

Strategic Port Graph Rewriting: an Interactive Modelling Framework

Résumé

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.
Fichier principal
Vignette du fichier
main-long-report.pdf (13.39 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01251871 , version 1 (06-01-2016)
hal-01251871 , version 2 (13-07-2017)
hal-01251871 , version 3 (22-12-2017)

Identifiants

  • HAL Id : hal-01251871 , version 2

Citer

Maribel Fernández, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: an Interactive Modelling Framework. [Research Report] Inria; LaBRI - Laboratoire Bordelais de Recherche en Informatique; King's College London. 2017, pp.49. ⟨hal-01251871v2⟩
661 Consultations
390 Téléchargements

Partager

Gmail Facebook X LinkedIn More