Maribel Fernández (King's College London, Department of Informatics, Strand, London WC2R 2LS, UK) |
Hélène Kirchner (Inria, Domaine de Voluceau, Rocquencourt BP 105, 78153 Le Chesnay Cedex, France) |
Bruno Pinaud (Bordeaux University, LaBRI CNRS UMR5800, 33405 Talence Cedex, France) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.159.3 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |