首页/论文/1111.4748

arXiv 1111.47482011-11-21cs.SE

用VIATRA2解决TTC 2011再工程案例

Solving the TTC 2011 Reengineering Case with VIATRA2

Ábel Hegedus, Zoltán Ujhelyi, Gábor Bergmann

备注：: In Proceedings TTC 2011, arXiv:1111.4407
发表信息：: EPTCS 74, 2011, pp. 136-148
DOI：: 10.4204/EPTCS.74.13

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提出了一个解决方案的程序理解：一个再工程的情况下，转换工具竞赛使用VIATRA2模型转换工具。

英文摘要：

The current paper presents a solution of the Program Understanding: A Reengineering Case for the Transformation Tool Contest using the VIATRA2 model transformation tool.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

用Edapt解决TTC 2011再工程案例

Solving the TTC 2011 Reengineering Case with Edapt

本文概述了2011年转换工具大赛的再工程案例的Edapt解决方案。

2011-11-21cs.SE

用Henshin解决TTC 2011再工程案例

Solving the TTC 2011 Reengineering Case with Henshin

本文介绍了Henshin解决方案的模型转换程序理解案例研究的一部分，转换工具竞赛2011。

2011-11-21cs.SE

用GReTL解决TTC 2011再工程案例

Solving the TTC 2011 Reengineering Case with GReTL

本文讨论了TTC 2011再造案例的GReTL参考解决方案。给定一个Java语法图，必须提取一个简单的状态机模型。提交的解决方案涵盖了核心任务和两个扩展任务。

2011-11-21cs.PLcs.SE

用MOLA和高阶变换求解TTC 2011再工程案例

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

2011年转换工具竞赛的再工程案例涉及从Java源代码中自动提取状态机。转换任务涉及复杂的、非局部的模型元素匹配。本文使用模型转换语言MOLA解决了这一问题。MOLA解决方案使用高阶变换（HOT-s）来生成所需MOLA程序的一部分。所描述的HOT方法允许为通用任务创建可重用的复杂模型转换库，而无需修改模型转换语言的实现。因此，不是语言开发人员的模型转换用户可以更容易地实现所需的功能。

2011-11-21cs.PLcs.SE

使用Edapt解决TTC 2011模型迁移案例

Solving the TTC 2011 Model Migration Case with Edapt

本文概述了2011年转换工具竞赛中GMF模型迁移案例的Edapt解决方案。

2011-11-21cs.SE

用QVTR-XSLT求解TTC 2011型发动机优化问题

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

在这篇简短的论文中，我们提出了我们的解决方案，为转换工具竞赛（TTC）2011年使用QVTR-QTR工具的优化案例研究。该工具支持编辑和执行QVT关系语言的图形符号

2011-11-21cs.SE

更多相关论文收起更多论文

用UML-RSDS求解TTC 2011模型迁移案例

Solving the TTC 2011 Model Migration Case with UML-RSDS

在本文中，我们应用UML-RSDS符号和工具的GMF模型迁移的案例研究，并解释如何使用UML-RSDS工具。

2011-11-21cs.SE

用FunnyQT求解TTC 2013流程图问题

Solving the TTC 2013 Flowgraphs Case with FunnyQT

FunnyQT是一个用于函数式Lisp方言Clojure的模型查询和模型转换库，提供了丰富而高效的查询和转换API。本文介绍了TTC 2013流程图转换案例的FunnyQT解决方案。它解决了所有四个任务，并赢得了最佳效率奖的情况下。

2013-12-02cs.SE

用GROOVE求解TTC 2011型发动机优化问题

Solving the TTC 2011 Compiler Optimization Case with GROOVE

本报告提供了使用GROOVE的“机器人优化”案例研究的部分解决方案。我们解释了如何与案例研究提供的输入图被改编成一个GROOVE表示，我们描述了任务1的初始解决方案。这个解决方案允许我们自动重现案例描述中给出的常量折叠示例的步骤。我们没有解决任务2。

2011-11-21cs.SE

第五届转型工具大赛

Proceedings Fifth Transformation Tool Contest

转换工具竞赛（TTC）系列的目的是比较图和模型转换工具的表现力，可用性和性能，以及一些选定的案例研究。与会者希望了解考虑到不同应用的每种工具的优缺点。更深入地了解不同工具特性的相对优点将有助于进一步改进图和模型转换工具，并指出存在的问题。TTC 2011涉及25个离线案例研究解决方案：Hello World案例的12个解决方案，GMF模型迁移案例的2个解决方案，制造商优化案例的5个解决方案，以及重新工程的7个解决方案（即，程序理解）案例。本卷包含通过额外（研讨会后）审查回合的提交材料。

2011-11-16cs.PLcs.SE

用GReTL求解TTC 2011型发动机优化问题

Solving the TTC 2011 Compiler Optimization Case with GReTL

本文讨论了TTC 2011年锅炉优化案例的GReTL解决方案。所提交的解决方案涵盖了常量折叠任务和指令选择任务。实现了验证图有效性的验证器，并根据扩展的要求提供了一些附加的测试图。

2011-11-21cs.PLcs.SE

使用元工具解决TTC 2011年装配机优化任务

Solving the TTC 2011 Compiler Optimization Task with metatools

作者的“元工具”是一个泛型编程工具的集合。这包括从数学上建立良好的规范生成Java源代码，以及为XML编码文本创建严格类型化的文档对象模型。在这种背景下，几乎每一个计算机内部结构都被视为一个“模型”，每一次计算都是一种模型转换。这个概念与由专门的工具和语言执行的“经典模型转换”有很大的不同。因此，对于TTC 2011的组织者以及作者来说，将元工具应用于其中一个挑战，即“编译器优化任务”，似乎很有希望。这是一份关于由此产生的经验的报告。

2011-11-21cs.PLcs.SE