Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units.
Hans‐Jörg Kreowski, Sabine Kuske · The Journal of Object Technology · 2020
Graph transformation units are rule-based devices to specify processes on graphs and the dynamics of informationprocessing systems with graphs as states.In this article, we propose graph transformation units as a framework to model graph algorithms, to prove their correctness and to analyze their complexity.A specific emphasis is laid on the improvement of the efficiency of graph algorithms by massive parallelism.