Rule-based Graph Repair

Rule-based Graph Repair
复制标题

DOI：
10.4204/eptcs.309.5
复制
发表时间：
2019-12
期刊：
ArXiv
影响因子：
--
通讯作者：
Christian Sandmann;A. Habel
Christian Sandmann;A. Habel
中科院分区：
其他
文献类型：
--
作者：
Christian Sandmann;A. Habel

文献摘要

被引文献

相似文献

模型修复是模型驱动工程中的一个重要课题。由于模型被适当地形式化为图状结构，我们考虑基于规则的图修复问题：给定一个规则集和一个图约束，尝试基于给定的规则集构造一个图程序，使得应用于任何图都会产生一个满足图约束的图。我们展示了特定约束的修复程序的存在，并展示了与规则集兼容的特定约束的基于规则的修复程序的存在。
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.