Composition Techniques for Rule-Based Model Transformation Languages

  • Dennis Wagelaar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5063)


Model transformation languages have matured to a point where people have started experimenting with model transformation definitions themselves in addition to the language they are written in. In addition to the transformation language properties, the properties of model transformation definitions themselves become important, such as scalability, maintainability and reusability. Composition of model transformations allows for the creation of smaller, maintainable and reusable model transformation definitions that can scale up to a larger model transformation. There are two kinds of composition for model transformations. External composition deals with chaining separate model transformations together by passing models from one transformation to another. Internal composition composes two model transformation definitions into one new model transformation, which typically requires knowledge of the transformation language. This paper focuses on internal composition for two rule-based model transformation languages. One is the ATLAS Transformation Language, which serves as our implementation vehicle. The other is the QVT Relations language, which is a standard transformation language for MOF. We propose a composition technique called module superimposition. We discuss how module superimposition interacts with other composition techniques in ATL, such as helpers, called rules and rule inheritance. Together, these techniques allow for powerful composition of entire transformation modules as well as individual transformation rules. By applying superimposition to QVT Relations, we demonstrate that our composition technique is relevant outside the ATL language as well.


Model Transformation Transformation Rule Matched Rule Transformation Language Transformation Module 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Object Management Group, Inc.: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Final Adopted Specification, ptc/05-11-01 (2005)Google Scholar
  2. 2.
    Kleppe, A.G.: First European Workshop on Composition of Model Transformations - CMT 2006. Technical Report TR-CTIT-06-34, Enschede (2006)Google Scholar
  3. 3.
    Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, France (2006)Google Scholar
  4. 4.
    Object Management Group, Inc.: Request for Proposal: MOF 2.0 Query / Views / Transformations RFP, ad/2002-04-10 (2004)Google Scholar
  5. 5.
    Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–645 (2006)CrossRefGoogle Scholar
  6. 6.
    Wagelaar, D., van Der Straeten, R.: Platform Ontologies for the Model-Driven Architecture. European Journal of Information Systems 16, 362–373 (2007)CrossRefGoogle Scholar
  7. 7.
    Kurtev, I., van den Berg, K., Jouault, F.: Evaluation of rule-based modularization in model transformation languages illustrated with ATL. In: SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1202–1209. ACM Press, New York (2006)CrossRefGoogle Scholar
  8. 8.
    Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. Electr. Notes Theor. Comput. Sci. 152, 125–142 (2006)CrossRefGoogle Scholar
  9. 9.
    Mens, T., Taentzer, G., Runge, O.: Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. Electr. Notes Theor. Comput. Sci. 127(3), 113–128 (2005)CrossRefGoogle Scholar
  10. 10.
    Kniesel, G., Koch, H.: Static Composition of Refactorings. Science of Computer Programming 52, 9–51 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Ossher, H., Tarr, P.: The Shape of Things To Come: Using Multi-Dimensional Separation of Concerns with Hyper/J to (Re)Shape Evolving Software. Comm. ACM 44, 43–50 (2001)CrossRefGoogle Scholar
  12. 12.
    Bergmans, L., Akşit, M.: Composing Crosscutting Concerns Using Composition Filters. Comm. ACM 44, 51–57 (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Dennis Wagelaar
    • 1
  1. 1.Vrije Universiteit BrusselBrusselsBelgium

Personalised recommendations