Lars Fritsche ; Jens Kosiol ; Alexander Lauer ; Adrian Möller ; Andy Schürr - Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

lmcs:12703 - Logical Methods in Computer Science, September 18, 2024, Volume 20, Issue 3 - https://doi.org/10.46298/lmcs-20(3:25)2024
Advanced Model Consistency Restoration with Higher-Order Short-Cut RulesArticle

Authors: Lars Fritsche ; Jens Kosiol ; Alexander Lauer ; Adrian Möller ; Andy Schürr

    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.


    Volume: Volume 20, Issue 3
    Published on: September 18, 2024
    Accepted on: July 1, 2024
    Submitted on: December 18, 2023
    Keywords: Computer Science - Software Engineering

    Consultation statistics

    This page has been seen 236 times.
    This article's PDF has been downloaded 107 times.