The TTC 2011 Reengineering Challenge Using MOLA and Higher-Order Transformations

Abstract. The Reengineering Challenge of the Transformation Tool Contest 2011 deals with automatic extraction of state machine from Java source code. The transformation task involves complex, non-local match-ing of model elements. This paper contains the solution of the task using model transformation language MOLA. The MOLA solution uses higher-order transformation (HOT) to gen-erate a part of the required MOLA program. The described HOT ap-proach allows creating reusable, complex model transformation libraries for generic tasks without modifying an implementation of a model trans-formation language. Thus model transformation users which are not the developers of the language can achieve the desired functionality more easily