Multiple Model Synchronization with Multiary Delta Lenses

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.

[1]  Hartmut Ehrig,et al.  Correctness of model synchronization based on triple graph grammars , 2011, MODELS'11.

[2]  Andy Schürr,et al.  MDI: A Rule-based Multi-document and Tool Integration Approach , 2006, Software & Systems Modeling.

[3]  Michael Johnson,et al.  Lenses, fibrations and universal translations† , 2011, Mathematical Structures in Computer Science.

[4]  Hartmut Ehrig,et al.  From state- to delta-based bidirectional model transformations: the symmetric case , 2011, MODELS'11.

[5]  Zinovy Diskin,et al.  Multiple model synchronization with multiary delta lenses with amendment and K-Putput , 2019, Formal Aspects of Computing.

[6]  Martin Hofmann,et al.  Symmetric lenses , 2011, POPL '11.

[7]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[8]  José Nuno Oliveira,et al.  Composing Least-change Lenses , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[9]  Hartmut Ehrig,et al.  On Propagation-Based Concurrent Model Synchronization , 2013 .

[10]  Shin-Cheng Mu,et al.  An Algebraic Approach to Bi-directional Updating , 2004, APLAS.

[11]  Michael Johnson,et al.  Symmetric delta lenses and spans of asymmetric delta lenses , 2017, J. Object Technol..

[12]  Alcino Cunha,et al.  Towards a Framework for Multidirectional Model Transformations , 2014, EDBT/ICDT Workshops.

[13]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[14]  Perdita Stevens.  Bidirectional Transformations in the Large , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[15]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[16]  Zinovy Diskin,et al.  Efficient Consistency Checking of Interrelated Models , 2017, ECMFA.

[17]  Martin Hofmann,et al.  Edit lenses , 2012, POPL '12.