Experiments with a High-Level Navigation Language

  • Jesús Sánchez Cuadrado
  • Frédéric Jouault
  • Jesús García Molina
  • Jean Bézivin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5563)


Writing navigation expressions is an important part of the task of developing a model transformation definition. When navigation is complex and the size of source models is significant, performance issues cannot be neglected. Model transformation languages often implement some variants of OCL as their navigation language. Writing efficient code in OCL is usually a difficult task because of the nature of the language and the lack of optimizing OCL compilers. Moreover, optimizations generally reduce readability.

An approach to tackle this issue is to raise the level of abstraction of the navigation language. We propose to complement the regular navigation language of model transformation languages with a high-level navigation language, in order to improve both performance and readability. This paper reports on the initial results of our experiments creating the HLN language: a declarative high-level navigation language. We will motivate the problem, and will we describe the language as well as the main design guidelines.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Specification of the ATL Virtual Machine,
  3. 3.
    Agrawal, A.: Graph Rewriting and Transformation (GReAT): A Solution for The Model Integrated Computing (MIC) Bottleneck. In: ASE, pp. 364–368 (2003)Google Scholar
  4. 4.
    Balogh, A., Varró, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: SAC 2006: Proceedings of the, ACM symposium on Applied computing, pp. 1280–1287. ACM, New York (2006)CrossRefGoogle Scholar
  5. 5.
    Cuadrado, J.S., Jouault, F., Garcia-Molina, J., Bèzivin, J.: Optimization patterns for OCL-based model transformations. In: Proceedings of the 8th OCL Workshop (2008)Google Scholar
  6. 6.
    Gogolla, M., Kuhlmann, M., Buttner, F.: A benchmark for OCL engine accuracy, determinateness, and efficiency. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 446–459. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Jouault, F., Bézivin, J., Kurtev, I.: TCS: A DSL for the specification of textual concrete syntaxes in model engineering. In: GPCE 2006: Proceedings of the 5th International Conference on Generative programming and Component Engineering, pp. 249–254. ACM, New York (2006)Google Scholar
  8. 8.
    Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139–150. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Mezei, G., Levendovszky, T., Charaf, H.: An optimizing OCL compiler for metamodeling and model transformation environments. In: Software Engineering Techniques: Design for Quality, pp. 61–71. Springer, Heidelberg (2007)Google Scholar
  12. 12.
    OMG. Final adopted specification for MOF 2.0 Query/View/Transformation (2005),
  13. 13.
    van Wijngaarden, J.: Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations. Master’s thesis, Utrecht University, Utrecht, The Netherlands, INF/SCR-03-29 (July 2003)Google Scholar
  14. 14.
    Vaziri, M., Jackson, D.: Some Shortcomings of OCL, the Object Constraint Language of UML. In: Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 2000), Washington, USA, p. 555. IEEE Computer Society, Los Alamitos (2000)Google Scholar
  15. 15.
    Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With UML. Addison Wesley, Reading (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Jesús Sánchez Cuadrado
    • 1
  • Frédéric Jouault
    • 2
  • Jesús García Molina
    • 1
  • Jean Bézivin
    • 2
  1. 1.Universidad de MurciaSpain
  2. 2.AtlanMod team, INRIA & EMNFrance

Personalised recommendations