Using weakest application conditions to rank graph transformations for graph repair

Lars Fritsche, Alexander Lauer, Maximilian Kratz +2

When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph i…