Tool for building graph-based hierarchical knowledge representation systems
-
Updated
Apr 7, 2023 - Python
Tool for building graph-based hierarchical knowledge representation systems
Software specification and verification system based on graph rewriting
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
Incremental unidirectional and bidirectional graph transformations with the Democles pattern matching engine
Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars
Incremental unidirectional and bidirectional graph transformations with the HiPE incremental parallel pattern matching engine
GROOVE sample rule systems
its implementation for the graph transformation from OMACS framework TO PNS framework
A collection of all tests for ibex variants
simple labelled graph rewriting for .NET
LaTeX source code of my Master's thesis "Incremental Unidirectional Model Transformation via Graph Transformation with eMoflon::IBeX"
Add a description, image, and links to the graph-transformation-systems topic page so that developers can more easily learn about it.
To associate your repository with the graph-transformation-systems topic, visit your repo's landing page and select "manage topics."