Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

Maribel Fernandez
  • Fonction : Auteur
  • PersonId : 891587
Hélène Kirchner

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (289.97 Ko) Télécharger le fichier
presentation.pdf (2.13 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Dates et versions

hal-00954546 , version 1 (03-03-2014)
hal-00954546 , version 2 (14-03-2014)
hal-00954546 , version 3 (05-04-2014)

Identifiants

Citer

Maribel Fernandez, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. pp.15--29, ⟨10.4204/EPTCS.159.3⟩. ⟨hal-00954546v3⟩
302 Consultations
705 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More