Towards attributed graphs in Groove (work in progress)

MaRDI QIDQ2852050zbMATH OpenFDO

Authors Harmen Kastenberg

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106003100

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Drawing graphs with attribute graph grammars
• scientific article; zbMATH DE number 6708354
• Borrowed contexts for attributed graphs
• Graph attribution through sub-graphs
• Attributed graph rewriting system
• Attributed Graph Constraints
• Symbolic graphs for attributed graph constraints
• Using attributed plex grammars for the generation of image and graph databases
• Parallel rewriting of attributed graphs

Cited in

(6)

• Towards automated software model checking using graph transformation systems and bogor
• Graph attribution through sub-graphs
• Theorem proving graph grammars with attributes and negative application conditions
• A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems
• Verification of graph grammars using a logical approach
• Graph transformation semantics for a QVT language

Describes a project that uses

Uses Software

• GROOVE

This page was built for publication: Towards attributed graphs in Groove (work in progress)

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