Reference : Information Preserving Bidirectional Model Transformations
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Information Preserving Bidirectional Model Transformations
Ehrig, Hartmut [> >]
Ehrig, Karsten [> >]
Ermel, Claudia [> >]
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Taentzer, Gabriele [> >]
Fundamental Approaches to Software Engineering
Dwyer, Matthew B.
Lopes, Antonia
Vol. 4422 of Lecture Notes in Computer Science (LNCS)
Int. Conf. on Fundamental Approaches to Software Engineering 2007 (FASE'07)
[en] bidirectional model transformation ; graph transformation ; triple graph grammar ; information-preserving
[en] Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and code generation. Most of these transformations need to be bidirectional to e.g. report analysis results, or keep coherence between models. In several application-oriented papers it has been shown that triple graph grammars are a promising approach to bidirectional model transformations. But up to now, there is no formal result showing under which condition corresponding forward and backward transformations are inverse to each other in the sense of information preservation. This problem is solved in this paper based on general results for the theory of algebraic graph transformations. The results are illustrated by a transformation of class models to relational data base models which has become a quasistandard example for model transformation.

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.