A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java

DOI10.1007/978-3-030-51372-6_17zbMath1502.68014OpenAlexW3038081141MaRDI QIDQ5100741

Lars Stoltenow, Marleen Matjeka, H. J. Sander Bruggink, Dennis Nolte, Barbara König

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_17

zbMATH Keywords

graph transformationrapid developmentgraph tools

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to computer science (68-04)

Uses Software

• PROGRES
• AGG
• GROOVE
• GXL
• DrAGoM
• VxToolbox
• SiTra
• DPOdactic
• GraJ
• VisiGraphJS
• Grez
• ENFORCe
• Podmineny
• CatLib

Cites Work

• GXL: a graph-based standard exchange format for reengineering
• Conditional Reactive Systems
• Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
• Graph Transformation by Computational Category Theory
• Termination Analysis for Graph Transformation Systems
• Tableau-Based Reasoning for Graph Properties
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Correctness of high-level transformation systems relative to nested conditions

This page was built for publication: A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java