Diskin, Zinovy:
*Model Synchronization: Mappings, Tiles and
Categories*;
p.92-165 in: Generative and Transformational
Techniques in Software Engineering III - 3rd Intl. Summer
School GTTSE 2009, 6-11 July, 2009, Braga, Portugal,
Revised Papers; LNCS 6491, Springer;
2011

Library Entries:
U.Waterloo,
Springerlink,
Springerlink

*Deskriptoren: *CVSM
*Abstract: *The paper presents a novel algebraic framework
for specification and design of model synchronization
tools. The basic premise is that synchronization
procedures, and hence algebraic operations modeling them,
are diagrammatic: they take a configuration (diagram) of
models and mappings as their input and produce a diagram
as the output. Many important synchronization scenarios
are based on diagram operations of square shape.
Composition of such operations amounts to their tiling,
and complex synchronizers can thus be assembled by tiling
together simple synchronization blocks. This gives rise to
a visually suggestive yet precise notation for specifying
synchronization procedures and reasoning about
them