Multiple model synchronization with multiary delta lenses with amendment and K-Putput

DOI10.1007/S00165-019-00493-0zbMATH Open1425.68068arXiv1911.11302OpenAlexW2981749759WikidataQ126989813 ScholiaQ126989813MaRDI QIDQ2335951FDOQ2335951

Authors: Zinovy Diskin, Harald König, Mark Lawford 

Publication date: 18 November 2019

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1911.11302

Recommendations

• Multiple model synchronization with multiary delta lenses
• Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Towards multiple model synchronization with comprehensive systems
• Modular edit lenses
• Incremental concurrent model synchronization using triple graph grammars

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Edit lenses
• Symmetric lenses
• Lenses, fibrations and universal translations
• Fundamentals of algebraic graph transformation
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Multi-view consistency in UML: a survey
• Multiple model synchronization with multiary delta lenses
• Boomerang, resourceful lenses for string data

Cited In (9)

• Single pushout rewriting in comprehensive systems
• Towards multiple model synchronization with comprehensive systems
• Advanced model consistency restoration with higher-order short-cut rules
• Single pushout rewriting in comprehensive systems of graph-like structures
• Multiple model synchronization with multiary delta lenses
• Comprehensive systems: a formal foundation for multi-model consistency management
• Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Advanced consistency restoration with higher-order short-cut rules
• General supervised learning as change propagation with delta lenses

This page was built for publication: Multiple model synchronization with multiary delta lenses with amendment and K-Putput

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335951)