使用 MOLA 与高阶转换解决 TTC 2011 再工程案例
编程语言
2011-11-22 v1 软件工程
摘要
Transformation Tool Contest 2011 的再工程案例涉及从 Java 源代码中自动提取状态机。该转换任务涉及模型元素的复杂非局部匹配。本文包含使用模型转换语言 MOLA 完成该任务的解决方案。该 MOLA 解决方案使用高阶转换（HOT-s）来生成所需 MOLA 程序的一部分。所描述的 HOT 方法允许为通用任务创建可重用的复杂模型转换库，而无需修改模型转换语言的实现。因此，非该语言开发者的模型转换用户能够更轻松地实现所需功能。
引用
@article{arxiv.1111.4750,
title = {Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations},
author = {Agris Sostaks and Elina Kalnina and Audris Kalnins and Edgars Celms and Janis Iraids},
journal= {arXiv preprint arXiv:1111.4750},
year = {2011}
}
备注
In Proceedings TTC 2011, arXiv:1111.4407