bidirectional model transformation; graph transformation; triple graph grammar; information-preserving
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
Ehrig, Hartmut
Ehrig, Karsten
Ermel, Claudia
Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Taentzer, Gabriele
Language :
English
Title :
Information Preserving Bidirectional Model Transformations
Publication date :
2007
Event name :
Int. Conf. on Fundamental Approaches to Software Engineering 2007 (FASE'07)
Event date :
03-2007
Main work title :
Fundamental Approaches to Software Engineering
Editor :
Dwyer, Matthew B.
Lopes, Antonia
Publisher :
Springer
ISBN/EAN :
978-3-540-71288-6
Collection name :
Vol. 4422 of Lecture Notes in Computer Science (LNCS)
Jean Bézivin, Bernhard Rumpe, Andy Schurr, and Laurence Tratt. Model transformations in practice workshop. In Jean-Michel Bruel, editor, MoDELS Satellite Events, volume 3844 of Lecture Notes in Computer Science, pages 120-127. Springer, 2005.
K. Czarnecki and S. Helsen. Classification of model transformation approaches. In On-line Proc. of the 2nd Workshop on Generative Techniques in the context of Model-Driven Architecture, Anaheim, 2003.
H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, 2006.
H. Ehrig, U. Prange, and G. Taentzer. Fundamental theory for typed attributed graph transformation. In F. Parisi-Presicce, P. Bottoni, and G. Engels, editors, Proc. 2nd Int. Conference on Graph Transformation (ICGTO4), Rome, Italy, volume 3256 of Lecture Notes in Computer Science. Springer, 2004.
M. Goedicke, B. Enders, T. Meyer, and G. Taentzer. Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation. In Int. Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), LNCS 1779, pages 369 - 378. Springer, 2000.
A. König and A. Schürr. Tool Integration with Triple Graph Grammars - A Survey. In Heckel, R. (eds.): Elsevier Science Publ. (pub.), Proceedings of the Segra Vis School on Foundations of Visual Modelling Techniques, Vol. 148, Electronic Notes in Theoretical Computer Science pp. 113-150, Amsterdam, 2006.
Stephen Lack and Pawel Sobociński. Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39(2):511-546, 2005.
Frank Marschall and Peter Braun. Model transformations for the mda with both In Proc. of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede, The Netherlands, pages 25-36, 2003.
T. Mens and P. Van Gorp. A taxonomy of model transformation. In Proc. International Workshop on Graph and Model Transformation (GraMoT05), number 152 in Electronic Notes in Theoretical Computer Science, Tallinn, Estonia, Elsevier Science, 2006.
A. Schürr. Specification of Graph Translators with Triple Graph Grammars. In G. Tinhofer, editor, WG94 20th Int. Workshop on GraphTheoretic Concepts in Computer Science, volume 903 of Lecture Notes in Computer Science, pages 151-163, Springer Verlag, Heidelberg, 1994.
