Algebraic Models for Bidirectional Model Synchronization

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

[1]  Andy Schürr,et al.  Tool Integration with Triple Graph Grammars - A Survey , 2006, FoVMT.

[2]  Georg Gottlob,et al.  Properties and update semantics of consistent views , 1988, TODS.

[3]  Mehrdad Sabetzadeh,et al.  A manifesto for model merging , 2006, GaMMa '06.

[4]  Shin-Cheng Mu,et al.  An Algebraic Approach to Bi-directional Updating , 2004, APLAS.

[5]  Perdita Stevens.  Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions , 2007, MoDELS.

[6]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[7]  Michal Antkiewicz,et al.  Design Space of Heterogeneous Synchronization , 2007, GTTSE.

[8]  Umeshwar Dayal,et al.  On the correct translation of update operations on relational views , 1982, TODS.

[9]  Benjamin C. Pierce,et al.  Relational lenses: a language for updatable views , 2006, PODS '06.

[10]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[11]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[12]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[13]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[14]  Zinovy Diskin,et al.  A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering , 2006 .

[15]  Jürgen Dingel,et al.  Engineering Associations: From Models to Code and Back through Semantics , 2008, TOOLS.