论文标题
图形维修及其应用于元模型
Graph Repair and its Application to Meta-Modeling
论文作者
论文摘要
模型维修是模型驱动工程中的重要主题。我们为特定条件提供了键入的图形修复程序；在任何键入图中的应用都会产生满足条件的键入图。 基于Eclipse建模框架（EMF）的模型图，简短的EMF模型图，是一个满足某些结构EMF构成的键入图。将结果应用于EMF-World会为EMFK约束产生模型修复程序，EMFK约束是EMF约束的一阶变体；应用于任何键入图的应用都会产生EMFK模型图。从这些结果中，我们得出了EMF模型修复的结果。
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.
