Multiple Model Synchronization with Multiary Delta Lenses
Zinovy Diskin, Harald König, Mark Lawford · Lecture notes in computer science · 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 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. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.