Felix Klar
ABSTRACT
Current rule-based model transformation approaches as the Query / View / Transformation (QVT) standard or Triple Graph Grammars (TGGs) disregard means for structuring model transformation specifications. As a result large scale model transformation specifications are hard to understand and to maintain. Furthermore, these specifications cannot utilize reusing mechanisms which would reduce the size of the specifications and improve their readability. In this paper we discuss how to transfer means for structuring huge metamodels and models as provided by common modeling languages to the world of model transformation languages. We focus on generalization issues as well as on package dependencies. As a result we come up with an extension to our TGG approach that enables the user to specify structured bidirectional model transformations in a declarative way.
- F. Altheide et al. An Architecture for a Sustainable Tool Integration. In A. Schürr and H. Dörr, editors, Workshop on Tool Integration in System Development, pages 29--32, 2003. http://www.es.tudarmstadt.de/english/events/tis/.Google Scholar
- S. Becker, T. Haase, and B. Westfechtel. Model-Based A-Posteriori Integration of Engineering Tools for Incremental Development Processes. Journal of Software and Systems Modeling, 4(2):123--140, 2005. Springer Verlag.Google ScholarDigital Library
- J. de Lara and H. Vangheluwe. AToM3: A Tool for Multi-formalism and Meta-modelling. In FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, pages 174--188, London, UK, 2002. Springer-Verlag. Google ScholarDigital Library
- H. Giese and R. Wagner. Incremental Model Synchronization with Triple Graph Grammars. In O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, editors, Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, volume 4199 of Lecture Notes in Computer Science (LNCS), pages 543--557. Springer Verlag, October 2006. Google ScholarDigital Library
- J. Greenyer. A Study of Model Transformation Technologies: Reconciling TGGs with QVT. Master's thesis, Universität Paderborn, Germany, 2006. http://wwwcs.uni-paderborn.de/cs/agschaefer/ Veroeffentlichungen/Quellen/Diplom/2006/DiplomarbeitJGreenyer.pdf.Google Scholar
- J. Jakob, A. Königs, and A. Schürr. Non-materialized Model View Specification with Triple Graph Grammars. In A. Corradini, editor, International Conference on Graph Transformations, volume 4178 of Lecture Notes in Computer Science (LNCS), pages 321--335, Heidelberg, 2006. Springer Verlag. Google ScholarDigital Library
- F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, and P. Valduriez. ATL: a QVT-like transformation language. In OOPSLA '06: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 719--720, New York, NY, USA, 2006. ACM Press. Google ScholarDigital Library
- A. Kleppe, J. Warmer, and W. Bast. MDA Explained. Addison-Wesley, 2003.Google Scholar
- A. Königs. Model Transformation with Triple Graph Grammars. In Model Transformations in Practice Satellite Workshop of MODELS 2005, Montego Bay, Jamaica, 2005.Google Scholar
- A. Königs and A. Schürr. Tool Integration with Triple Graph Grammars -- A Survey. In R. Heckel, editor, Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, volume 148 of Electronic Notes in Theoretical Computer Science, pages 113--150. Elsevier Science Publ., 2006. Google ScholarDigital Library
- H. Kreowski, S. Kuske, and A. Schürr. Nested Graph Transformation Units. Int. Journal on Software and Knowledge Engineering and Special Issue on Graph Grammar-based Specifications, 7(4):479--502, 1997.Google Scholar
- I. Kurtev, K. van den Berg, and F. Jouault. Evaluation of Rule-based Modularization in Model Transformation Languages illustrated with ATL. In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pages 1202--1209, New York, NY, USA, 2006. ACM Press. Google ScholarDigital Library
- B. Meyer. Object-Oriented Software Construction. Prentice Hall PTR, 2. edition, 1997. Google ScholarDigital Library
- M. Münch. Generic Modelling with Graph Rewriting Systems. Berichte aus der Informatik. Shaker Verlag, Aachen, 2003. PhD thesis (RWTH Aachen).Google Scholar
- OMG. Unified Modeling Language version 1.3, 2000. http://www.omg.org/cgi-bin/doc?formal/00-03-01.Google Scholar
- OMG. Request for Proposal: MOF 2.0 Query / Views / Transformations RFP, 2002. http://www.omg.org/cgi-bin/doc?ad/02-04-10.Google Scholar
- OMG. UML 2.0 Infrastructure Specification, 2003. http://www.omg.org/docs/ptc/03-09-15.pdf.Google Scholar
- OMG. MOF QVT Final Adopted Specification, 2005. http://www.omg.org/cgi-bin/doc?ptc/2005-11-01.Google Scholar
- OMG. Meta Object Facility (MOF) Core Specification version 2.0, 2006. http://www.omg.org/cgibin/doc?formal/2006-01-01.Google Scholar
- OMG. Unified Modeling Language: Infrastructure version 2.0, 2006. http://www.omg.org./docs/formal/05-07-05.Google Scholar
- T. W. Pratt. Pair Grammars, Graph Languages and String-to-Graph Translations. Journal of Computer and System Sciences, 5:560--595, 1971. Academic Press.Google ScholarDigital Library
- A. Schürr. Specification of Graph Translators with Triple Graph Grammars. In G. Tinhofer, editor, WG'94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science, volume 903 of Lecture Notes in Computer Science (LNCS), pages 151--163, Heidelberg, 1994. Springer Verlag. Google ScholarDigital Library
- A. J. Winter. Visuelles Programmieren mit Graph transformationen, volume 27 of Aachener Beiträge zur Informatik. Wissenschaftsverlag Mainz in Aachen, 2000. PhD thesis in German (RWTH Aachen).Google Scholar
- A. Zündorf. Rigorous Object Oriented Software Development. University of Paderborn, 2001. Habilitation Thesis.Google Scholar
Index Terms
- Model transformation in the large
Recommendations
ATL: a QVT-like transformation language
OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applicationsIn the context of Model Driven Engineering (MDE), models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed in order to specify ...
Retainment policies - A formal framework for change retainment for trace-based model transformations
Context: Model-to-model (M2M) transformations play an important role within model-driven development. Modern M2M approaches support incremental updates to the target model according to changes in the source model(s). Bidirectional transformation ...
A new tool for URDAD to Java EE EJB transformations
SAICSIT '13: Proceedings of the South African Institute for Computer Scientists and Information Technologists ConferenceFollowing the Object Management Group's (OMG) Model-Driven Architecture (MDA) approach, the semi-formal, service-orientated "Use Case, Responsibility Driven Analysis and Design" (URDAD) method is used by requirements engineers to specify a software ...
Comments