Algebraic Models for Bidirectional Model Synchronization

TitleAlgebraic Models for Bidirectional Model Synchronization
Publication TypeConference Paper
Year of Publication2008
AuthorsDiskin, Z.
Conference NameMoDELS 2008
Date Published10/2008
Conference LocationToulouse France

The paper presents several algebraic models for semantics of
bidirectional model synchronization and transformation. Different
types of model synchronization are analyzed (view updates, selective
and incremental synchronization), and this analysis motivates the
formal definitions. Particularly, a new formal model of updates is
proposed. Relationships between the formal models are precisely
specified and discussed.

Refereed DesignationRefereed