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

Fichier principal
Vignette du fichier
main.pdf (295.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

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

Licence

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⟩
580 Consultations
955 Téléchargements

Partager

  • More