From state- to delta-based bidirectional model transformations: the symmetric case

@inproceedings{Diskin2011FromST,
  title={From state- to delta-based bidirectional model transformations: the symmetric case},
  author={Z. Diskin and Yingfei Xiong and K. Czarnecki and H. Ehrig and F. Hermann and F. Orejas},
  booktitle={MODELS'11},
  year={2011}
}
A bidirectional transformation (BX) keeps a pair of interrelated models synchronized. Symmetric BXs are those for which neither model in the pair fully determines the other. We build two algebraic frameworks for symmetric BXs, with one correctly implementing the other, and both being delta-based generalizations of known state-based frameworks. We identify two new algebraic laws--weak undoability and weak invertibility, which capture important semantics of BX and are useful for both state- and… Expand
Understanding bidirectional transformations with TGGs and JTL
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization
Putback-based bidirectional model transformations
Offline Delta-Driven Model Transformation with Dependency Injection
Notions of Bidirectional Computation and Entangled State Monads
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
Bidirectional model transformations in QVT: semantic issues and open questions
Symmetric lenses
Designing Constraint Maintainers for User Interaction