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
Type de document :
Communication dans un congrès
Dragan Bošnački; Stefan Edelkamp; Alberto Lluch Lafuente; Anton Wijs. 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. 159, pp.15--29, 2014, 〈10.4204/EPTCS.159.3〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00954546
Contributeur : Bruno Pinaud <>
Soumis le : samedi 5 avril 2014 - 13:52:09
Dernière modification le : jeudi 19 avril 2018 - 14:24:03
Document(s) archivé(s) le : samedi 5 juillet 2014 - 10:40:55

Fichiers

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

Identifiants

Collections

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. Dragan Bošnački; Stefan Edelkamp; Alberto Lluch Lafuente; Anton Wijs. 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. 159, pp.15--29, 2014, 〈10.4204/EPTCS.159.3〉. 〈hal-00954546v3〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

325

Téléchargements de fichiers

625

Contact


archive-ouverte@inria.fr