文章基本信息

标题：Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations
本地全文：下载
作者：Agris Sostaks ; Elina Kalnina ; Audris Kalnins 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2011
卷号：74
页码：159-167
DOI：10.4204/EPTCS.74.15
出版社：Open Publishing Association
摘要：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.