Publications ›

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
PublisherSpringer
Conference LocationToulouse France
Abstract

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
Tags:

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz

Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.

Rafael Lotufo