Electronic Proceedings in Theoretical Computer Science (Nov 2011)

Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations

  • Agris Sostaks,
  • Elina Kalnina,
  • Audris Kalnins,
  • Edgars Celms,
  • Janis Iraids

DOI
https://doi.org/10.4204/EPTCS.74.15
Journal volume & issue
Vol. 74, no. Proc. TTC 2011
pp. 159 – 167

Abstract

Read online

The Reengineering Case of the Transformation Tool Contest 2011 deals with automatic extraction of state machine from Java source code. The transformation task involves complex, non-local matching of model elements. This paper contains the solution of the task using model transformation language MOLA. The MOLA solution uses higher-order transformations (HOT-s) to generate a part of the required MOLA program. The described HOT approach allows creating reusable, complex model transformation libraries for generic tasks without modifying an implementation of a model transformation language. Thus model transformation users who are not the developers of the language can achieve the desired functionality more easily.