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
Pré-Publication, Document De Travail Electronic Proceedings in Theoretical Computer Science 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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
main.pdf (295.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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

  • HAL Id : hal-00954546 , version 1

Citer

Maribel Fernandez, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. 2013. ⟨hal-00954546v1⟩
302 Consultations
705 Téléchargements

Partager

Gmail Facebook X LinkedIn More