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

DOI10.1007/S00165-019-00493-0MaRDI QIDQ2335951zbMATH OpenOpenAlexWikidataFDO

Authors Zinovy Diskin, Harald König, Mark Lawford

Publication date 18 November 2019

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

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

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(9)

• Towards multiple model synchronization with comprehensive systems
• Single pushout rewriting in comprehensive systems
• Single pushout rewriting in comprehensive systems of graph-like structures
• Multiple model synchronization with multiary delta lenses
• Advanced model consistency restoration with higher-order short-cut rules
• 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)