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…