75 citations · 111 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Finding the Right Way to Rome: Effect-oriented Graph Transformation
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Many applications of graph transformation require rules that change a graph without introducing new consistency violations. When designing such rules, it is natural to think about…
cs.LO2020★ 3 cited
Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of const…