From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.

Abstract

Existing bidirectional model transformation (BX) languages are mainly state-based: model alignment is hidden inside update propagating procedures, and model deltas are implicit. Weaving alignment with update propagation complicates the latter and makes it less predictable and less manageable. We propose to separate concerns and consider two distinct operations: delta discovery (alignment) and delta propagation. This architecture has several technological advantages, but requires a corresponding theoretical support.