Graph Repair and its Application to Meta-Modeling
Software Engineering
2020-12-04 v1
Abstract
Model repair is an essential topic in model-driven engineering. We present typed graph-repair programs for specific conditions; application to any typed graph yields a typed graph satisfying the condition. A model graph based on the Eclipse Modeling Framework (EMF), short EMF-model graph, is a typed graph satisfying some structural EMF-constraints. Application of the results to the EMF-world yields model-repair programs for EMFk constraints, a first-order variant of EMF constraints; application to any typed graph yields an EMFk model graph. From these results, we derive results for EMF model repair.
Keywords
Cite
@article{arxiv.2012.01656,
title = {Graph Repair and its Application to Meta-Modeling},
author = {Christian Sandmann},
journal= {arXiv preprint arXiv:2012.01656},
year = {2020}
}
Comments
In Proceedings GCM 2020, arXiv:2012.01181