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

Agris Sostaks
Elina Kalnina
Audris Kalnins
Edgars Celms
Janis Iraids

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.

In Pieter Van Gorp, Steffen Mazanek and Louis Rose: Proceedings Fifth Transformation Tool Contest (TTC 2011), Zürich, Switzerland, June 29-30 2011, Electronic Proceedings in Theoretical Computer Science 74, pp. 159–167.
Published: 16th November 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.74.15 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org