Rule-based Graph Repair

12/20/2019
by   Christian Sandmann, et al.
0

Model repair is an essential topic in model-driven engineering. Since models are suitably formalized as graph-like structures, we consider the problem of rule-based graph repair: Given a rule set and a graph constraint, try to construct a graph program based on the given set of rules, such that the application to any graph yields a graph satisfying the graph constraint. We show the existence of repair programs for specific constraints, and show the existence of rule-based repair programs for specific constraints compatible with the rule set.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/03/2020

Graph Repair and its Application to Meta-Modeling

Model repair is an essential topic in model-driven engineering. We prese...
research
07/18/2023

Rule-based Graph Repair using Minimally Restricted Consistency-Improving Transformations

Model-driven software engineering is a suitable method for dealing with ...
research
04/24/2022

Model Repair via Symmetry

The symmetry of a Kripke structure ℳ has been exploited to replace a mod...
research
07/08/2020

T-REx: Table Repair Explanations

Data repair is a common and crucial step in many frameworks today, as ap...
research
12/04/2018

Conic Crease Patterns with Reflecting Rule Lines

We characterize when two conic curved creases are compatible with each o...
research
04/10/2020

On Multiple Semantics for Declarative Database Repairs

We study the problem of database repairs through a rule-based framework ...
research
05/08/2020

Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations

Where graphs are used for modelling and specifying systems, consistency ...

Please sign up or login with your details

Forgot password? Click here to reset