图修复及其在元建模中的应用
软件工程
2020-12-04 v1
摘要
模型修复是模型驱动工程中的一个重要课题。我们针对特定条件提出类型化图修复程序；将其应用于任意类型化图可得到满足该条件的类型化图。基于 Eclipse Modeling Framework（EMF）的模型图（简称 EMF 模型图）是满足某些结构性 EMF 约束的类型化图。将所得结果应用于 EMF 领域可得到针对 EMFk 约束（EMF 约束的一阶变体）的模型修复程序；将其应用于任意类型化图可得到 EMFk 模型图。由这些结果，我们推导出关于 EMF 模型修复的结论。
引用
@article{arxiv.2012.01656,
title = {Graph Repair and its Application to Meta-Modeling},
author = {Christian Sandmann},
journal= {arXiv preprint arXiv:2012.01656},
year = {2020}
}
备注
In Proceedings GCM 2020, arXiv:2012.01181