用MOLA和高阶变换求解TTC 2011再工程案例
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations
摘要：
2011年转换工具竞赛的再工程案例涉及从Java源代码中自动提取状态机。转换任务涉及复杂的、非局部的模型元素匹配。本文使用模型转换语言MOLA解决了这一问题。MOLA解决方案使用高阶变换（HOT-s）来生成所需MOLA程序的一部分。所描述的HOT方法允许为通用任务创建可重用的复杂模型转换库，而无需修改模型转换语言的实现。因此，不是语言开发人员的模型转换用户可以更容易地实现所需的功能。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
