一句话：提出在模型同步过程中即时计算高阶捷径规则，避免信息丢失，并在 eMoflon 中实现与评估。
顺序模型同步需要将变更从一个模型传播到相关的另一个模型以恢复一致性，同时尽量避免不必要的删除造成信息丢失。已有的捷径（short-cut, SC）规则能从理论上保证变更传播正确且无损，但要应对任意变更可能需要无限多条规则；实践中只使用少量预计算的基础 SC 规则，严重限制了可无损传播的变更种类。本文提出在同步过程中即时计算更复杂的高阶 SC 规则，从而在一步内处理多个变更的复杂场景。作者在模型转换工具 eMoflon 中实现了该方法，评估显示即时计算高阶规则的开销可接受，有时甚至改善整体性能，并能处理此前无法无损应对的全新同步场景。
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might cause information loss). From a theoretical point of view, so-called short-cut (SC) rules have been developed that enable provably correct propagation of changes while avoiding information loss. However, to be able to react to every possible change, an infinite set of such rules might be necessary. Practically, only small sets of pre-computed basic SC rules have been used, severely restricting the kind of changes that can be propagated without loss of information. In this work, we close that gap by developing an approach to compute more complex required SC rules on-the-fly during synchronisation. These higher-order SC rules allow us to cope with more complex scenarios when multiple changes must be handled in one step. We implemented our approach in the model transformation tool eMoflon. An evaluation shows that the overhead of computing higher-order SC rules on-the-fly is tolerable and at times even improves the overall performance. Above that, completely new scenarios can be dealt with without the loss of information.
@article{paperbot2725,
title = {Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules},
author = {Lars Fritsche and Jens Kosiol and Alexander Lauer and Adrian Möller and Andy Schürr},
journal = {Logical Methods in Computer Science},
volume = {Volume 20, Issue 3},
year = {2024},
doi = {10.46298/lmcs-20(3:25)2024}
}