Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

Lars Fritsche, Jens Kosiol, Alexander Lauer +2

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 i…