Multiple Model Synchronization with Multiary Delta Lenses

@inproceedings{Diskin2018MultipleMS,
  title={Multiple Model Synchronization with Multiary Delta Lenses},
  author={Z. Diskin and H. K{\"o}nig and M. Lawford},
  booktitle={FASE},
  year={2018}
}
Multiple (more than 2) model synchronization is ubiquitous and important for MDE, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx community in the framework of algebraic models for update propagation called lenses. Now we make a step to restore the balance and propose a notion of multiary delta lens. Besides multiarity, our lenses feature reflective updates, when consistency restoration requires some… Expand
Multiple model synchronization with multiary delta lenses with amendment and K-Putput
Multicategories of Multiary Lenses
Supervised categorical learning as change propagation with delta lenses
  • Z. Diskin
  • Computer Science, Mathematics
  • ArXiv
  • 2019
Lenses and Learners
Towards Multiple Model Synchronization with Comprehensive Systems
A Formal Approach to Prove Compatibility in Transformation Networks
Multimodel correspondence through inter-model constraints
...
1
2
3
...

References

SHOWING 1-10 OF 19 REFERENCES
Symmetric delta lenses and spans of asymmetric delta lenses
Symmetric lenses
Composing Least-change Lenses
From state- to delta-based bidirectional model transformations: the symmetric case
Edit lenses
Bidirectional Transformations in the Large
  • P. Stevens
  • Computer Science
  • 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
  • 2017
Lenses, fibrations and universal translations†
Towards a Framework for Multidirectional Model Transformations
...
1
2
...