1 research outputs found
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Multiple (more than 2) model synchronization is ubiquitous and important for
model driven engineering, 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
{\em 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.Comment: The version published at FAC has multiple essential typos in section
7.1, which make that section practically unreadabl