Skip to main content
Log in

Manual and automated performance optimization of model transformation systems

  • GRABATS 2008
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

Model-based development is one of the most promising solutions for several problems of industrial software engineering. Graph transformation is a proven method for processing domain-specific models. However, in order to be used by domain experts without graph transformation experts, it must be fast even if not tweaked for speed manually based on knowledge available only to the implementers of the transformation system. In this paper, we compare the performance of such manual optimizations with a solution using automated optimization based on sharing of matches between overlapping left-hand-sides of sequentially independent rules. This yields a 11% improvement in our scenario, although our prototypical implementation only exploits overlapping between, at most, two rules, and the analyzed benchmark does not contain many cases where the optimization is applicable.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Heckel, R.: Graph transformation in a nutshell. In: Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, vol. 04101. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2004)

  2. Vizhányó, A., Agrawal, A., Shi, F.: Towards generation of efficient transformations. In: Proceedings of 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004), LNCS, vol. 3286, pp. 298–316 (2004)

  3. Klein, T., Nickel, U., Niere, J., Zündorf, A.: From UML to Java and back again. Technical report, University of Paderborn (2000)

  4. de Lara, J., Vangheluwe, H.: AToM3: a tool for multi-formalism and meta-modeling. In: Fundamental Approaches to Software Engineering, LNCS, vol. 2306, pp. 174–188 (2002)

  5. Visual Modeling and Transformation System. http://www.aut.bme.hu

  6. 4th International Workshop on Graph-Based Tools. http://www.fots.ua.ac.be/events/grabats2008/

  7. Lengyel L., Levendovszky L., Mezei G.: Model transformation with a visual control flow language. Int. J. Comput. Sci. 1, 45–53 (2006)

    Google Scholar 

  8. Batz, G. V., Kroll, M., Geiß, R.: A first experimental evaluation of search plan driven graph pattern matching. In: Proceedings of the 3rd International Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE ’07). Springer, New York (2008)

  9. Durstenfeld, R.: Commun. ACM 7, 420 pp (1964)

  10. Heckel, R., Küster, J. M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Proceedings of ICGT 2002. LNCS, vol. 2505, pp. 161–176 (2002)

  11. Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamentals of algebraic graph transformation. In: (eds) In: Monographs in Theoretical Computer Science., Springer, New York (2006)

    Google Scholar 

  12. Varró, G., Varró, D.: Graph transformation with incremental updates. In: Proceedings of Graph Transformation and Visual Modelling Techniques (GT-VMT 2004), Barcelona, Spain (2004)

  13. Varró, G., Varró, D., Schürr, A.: Incremental graph pattern matching: data structures and initial experiments. In: Graph and Model Transformation (GraMoT). Electronic Communications of the EASST, vol. 4 (2006)

  14. Varró, D., Automated model transformations for the analysis of IT systems. PhD thesis. http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2004/phd_thesis.zip (2004)

  15. Varró, G., Varró, D., Friedl, K.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: Proceedings of International Workshop on Graph and Model Transformation (GraMoT’05), ENTCS, vol. 152, pp. 191–205. Elsevier (2005)

  16. Edmonds J.: Optimum branchings. J. Res. Natl. Bur. Stand. 71, 233–240 (1967)

    MATH  MathSciNet  Google Scholar 

  17. Geiß, R., Batz., G. V., Grund, D., Hack, S., Szalkowski, A.M.: GrGen: a fast SPO-based graph rewriting tool. In: Graph Transformations (ICGT 2006), pp. 383–397. Springer, New York (2006)

  18. Fischer, T., Niere, J., Torunski, L., Zndorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), LNCS, vol. 1764, pp. 296–309. Springer, New York (1998)

  19. Zündorf, A.: Graph pattern-matching in PROGRES. In: Proceedings of the 5th International Workshop on Graph Grammars and their Application to Computer Science, LNCS, vol. 1073, pp. 454–468 (1996)

  20. Taentzer, G.: AGG: A graph transformation environment for modeling and valodation of software. In: Application of Graph Transformations with Industrial Relevance (AGTIVE 2004). Springer, New York (2004)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tamás Mészáros.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mészáros, T., Mezei, G., Levendovszky, T. et al. Manual and automated performance optimization of model transformation systems. Int J Softw Tools Technol Transfer 12, 231–243 (2010). https://doi.org/10.1007/s10009-010-0151-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-010-0151-0

Keywords

Navigation