We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Graph Repair and its Application to Meta-Modeling

Authors: Christian Sandmann (Carl von Ossietzky University Oldenburg, Germany)
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.
Comments: In Proceedings GCM 2020, arXiv:2012.01181
Subjects: Software Engineering (cs.SE)
Journal reference: EPTCS 330, 2020, pp. 13-34
DOI: 10.4204/EPTCS.330.2
Cite as: arXiv:2012.01656 [cs.SE]
  (or arXiv:2012.01656v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Thu, 3 Dec 2020 02:27:17 GMT (77kb)

Link back to: arXiv, form interface, contact.