Rule-based Graph Repair
Software Engineering
2019-12-23 v1
Abstract
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.
Cite
@article{arxiv.1912.09610,
title = {Rule-based Graph Repair},
author = {Christian Sandmann and Annegret Habel},
journal= {arXiv preprint arXiv:1912.09610},
year = {2019}
}
Comments
In Proceedings GCM 2019, arXiv:1912.08966