Click on a search word OR use the drop-down choices to search for a paper.
2018
Diskin, Zinovy; König, Harald; Lawford, Mark
Multiple Model Synchronization with Multiary Delta Lenses Proceedings Article
In: Fundamental Approaches to Software Engineering., Springer, Cham, 2018, ISBN: 978-3-319-89363-1.
Abstract | Links | BibTeX | Tags: consistency restoration, Framework of algebraic models, lens composition, lenses, MDE, multiary delta lens, multiple model synchronization, reflective updates, update propagation, violated consistency
@inproceedings{Diskin2018b,
title = {Multiple Model Synchronization with Multiary Delta Lenses},
author = {Zinovy Diskin and Harald König and Mark Lawford},
url = {https://link.springer.com/chapter/10.1007/978-3-319-89363-1_2},
isbn = {978-3-319-89363-1},
year = {2018},
date = {2018-04-04},
booktitle = {Fundamental Approaches to Software Engineering.},
volume = {10802},
publisher = {Springer, Cham},
abstract = {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 amendment of the update that violated consistency. We emphasize the importance of various ways of lens composition for practical applications of the framework, and prove several composition results.},
keywords = {consistency restoration, Framework of algebraic models, lens composition, lenses, MDE, multiary delta lens, multiple model synchronization, reflective updates, update propagation, violated consistency},
pubstate = {published},
tppubtype = {inproceedings}
}
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 amendment of the update that violated consistency. We emphasize the importance of various ways of lens composition for practical applications of the framework, and prove several composition results.