Model Synchronisation: Definitions for Round-Trip Engineering

In a model-centric software development environment, a multitude of different models are used to describe a software system on different abstraction layers and from different perspectives. Following the MDA vision, model transformation is used to support the gradual refinement from abstract models into more concrete models. However, target models do not stay untouched but may be changed due to maintenance work or evolution of the software. Therefore, in order to preserve a coherent description of the whole system, it is necessary to propagate certain changes to a target model back to the source model. However, as transformations in general are partial and not injective, they cannot be easily reversed to propagate changes. This paper presents a formal definition of round-trip engineering and the semantics of target changes in the context of partial and non-injective transformations.

[1]  Shin-Cheng Mu,et al.  An Injective Language for Reversible Computation , 2004, MPC.

[2]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[3]  Wolfgang De Meuter,et al.  SelfSync: a dynamic round-trip engineering environment , 2005, OOPSLA '05.

[4]  Holger Giese,et al.  Incremental model synchronization with triple graph grammars , 2006, MoDELS'06.

[5]  M. Dumas,et al.  Multi-staged and Multi-viewpoint Service Choreography Modelling , 2006 .

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

[7]  Uwe Aßmann.  Automatic Roundtrip Engineering , 2003, Electron. Notes Theor. Comput. Sci..

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

[9]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.

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

[11]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

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

[13]  Antonio Cicchetti,et al.  Towards Propagation of Changes by Model Approximations , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06).