A flexible and easy-to-use library for the rapid development of graph tools in Java

DOI10.1007/978-3-030-51372-6_17MaRDI QIDQ5100741zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 2084303
• JGraphT—A Java Library for Graph Data Structures and Algorithms
• An open graph visualization system and its applications to software engineering
• Graph Transformation by Computational Category Theory
• scientific article; zbMATH DE number 1923047

Cites work

• Conditional reactive systems
• Correctness of high-level transformation systems relative to nested conditions
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• GXL: a graph-based standard exchange format for reengineering
• Graph Transformation by Computational Category Theory
• Proving termination of graph transformation systems using weighted type graphs over semirings
• Tableau-based reasoning for graph properties
• Termination analysis for graph transformation systems

Cited in

(1)

• JGraphT—A Java Library for Graph Data Structures and Algorithms

Describes a project that uses

Uses Software

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

This page was built for publication: A flexible and easy-to-use library for the rapid development of graph tools in Java

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