A strategy language for graph rewriting

DOI10.1007/978-3-642-32211-2_12MaRDI QIDQ4909323zbMATH OpenOpenAlexFDO

Authors Maribel Fernández, Hélène Kirchner, Olivier Namet

Publication date 13 March 2013

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00684244/file/maincameraready.pdf

zbMATH Keywords

strategiesgraph rewritingvisual environmentport graph

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Strategic port graph rewriting: an interactive modelling framework
• A kernel language for programmed rewriting of (hyper)graphs
• Publication:4944885
• Formal specification of a graph rewriting system with environments
• Logic based structure rewriting systems

Cited in

(12)

• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Rewriting strategies and strategic rewrite programs
• Visual modelling of complex systems: towards an abstract machine for PORGY
• Labelled graph strategic rewriting for social networks
• A kernel language for programmed rewriting of (hyper)graphs
• PORGY
• PORGY: strategy-driven interactive transformation of graphs
• scientific article; zbMATH DE number 1722718 (Why is no real title available?)
• LEAN: An intermediate language based on graph rewriting
• scientific article; zbMATH DE number 1420819 (Why is no real title available?)
• Strategic port graph rewriting: an interactive modelling framework
• Labelled port graph -- a formal structure for models and computations

Describes a project that uses

Uses Software

• GROOVE
• Curry
• AGG
• Fujaba
• PROGRES
• Stratego
• GrGen

This page was built for publication: A strategy language for graph rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909323)