2015/11/03 by Hans‐Jörg Kreowski, Kreowski, Hans-Jörg, Sabine Kuske +1
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies
paper · doi:10.14279/tuj.eceasst.62.861
openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
Graph transformation units are rule-based devices to model and compute relations between initial and terminal graphs. In this paper, they are generalized to graph tuple transformation units that allow one to combine different kinds of graphs into tuples and to process the component graphs simultaneously and interrelated with each other. Moreover, one may choose some of the working components as inputs and some as outputs such that a graph tuple transformation unit computes a relation between input and output tuples of potentially different kinds of graphs rather than a binary relation on a single kind of graphs.