# 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

#### Figures and Topics from this paper

#### 124 Citations

Understanding bidirectional transformations with TGGs and JTL

- Computer Science
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- 2013

Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization

- Computer Science
- ICMT
- 2014

#### References

SHOWING 1-3 OF 3 REFERENCES

Bidirectional model transformations in QVT: semantic issues and open questions

- Computer Science
- MODELS'07
- 2007