@proceedings {350,
title = {Model Synchronization: Mappings, Tiles and Categories},
journal = {Generative and Transformational Techniques in Software Engineering, GTTSE{\textquoteright}09},
volume = {6491},
year = {2011},
publisher = {Springer},
address = {Braga, Portugal},
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 \emph{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 \emph{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.},
attachments = {http://gsd.uwaterloo.ca/sites/default/files/zGttse11_0.pdf},
author = {Diskin, Zinovy}
}