On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Towards Propagation of Changes by Model Approximations
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Incremental model synchronization with triple graph grammars
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
SelfSync: a dynamic round-trip engineering environment
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Bidirectional model transformations in QVT: semantic issues and open questions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Towards Model Round-Trip Engineering: An Abductive Approach
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Solving Constraints in Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
JTL: a bidirectional and change propagating transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Flexible generators for software reuse and evolution (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Synchronizing model and program refactoring
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Software and Systems Modeling (SoSyM)
Incremental model synchronization for efficient run-time monitoring
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Performance-driven architectural refactoring through bidirectional model transformations
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Maintaining invariant traceability through bidirectional transformations
Proceedings of the 34th International Conference on Software Engineering
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Retainment policies - A formal framework for change retainment for trace-based model transformations
Information and Software Technology
Hi-index | 0.00 |
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.