ABSTRACT
Transformations which update a single model in-place are of wide application, most typically for model refactoring, but also for other uses such as system simulation. Such transformations are usually horizontal, because they do not change the level of abstraction of the model they operate upon.
