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

By: Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

# 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.
The goal of the paper is to develop a delta-based algebraic
framework for the case of *asymmetric* BX, where one model is
a view of the other. In this framework, model spaces are categories
(nodes are models and arrows are composable deltas), and delta
propagation procedures are mappings between them. We call the
corresponding algebras *delta lenses*, prove their several basic
properties, and explore their relationships with ordinary lenses --
well-known algebraic models for state-based asymmetric BX.

## Keywords

Model transformation, Bidirectional transformations, Lenses

## Cite as:

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, “From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case”, Journal of Object Technology, Volume 10, (2011), pp. 6:1-25, doi:10.5381/jot.2011.10.1.a6.

PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn