Delta-based Bidirectional Transformation

Traditional algebraic frameworks for bidirectional transformations are state-based: the input and output are states of data. But actual implementations are delta-based: the synchronizer tries to understand what is the delta resulted from the update, and then try to propagate the delta.

We show that state-based algebraic framework has several drawbacks, and build delta-based algebraic frameworks for both the asymmetric case and the symmetric case.

Team Members

News

Tools

Publications

2017

Diskin, Z., Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017.

[bib]

[pdf]

2014

Diskin, Z., An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014.

[bib]

[pdf]

2011

Hermann, F., H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin, and Y. Xiong, "Correctness of Model Synchronization Based on Triple Graph Grammars", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.

[bib]

[pdf]

Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, "From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.

[bib]

[pdf][pdf]

Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.