用GrGen解决TTC 2011再工程案例。NET
Solving the TTC 2011 Reengineering Case with GrGen.NET
摘要：
再工程案例的挑战是从Java程序的抽象语法图中提取状态机模型。所提取的状态机提供完整程序图上的简化视图，从而有助于理解关于感兴趣的问题的程序。我们解决这个任务，采用通用图形重写系统GrGen.NET（www.grgen.net）。
英文摘要：
The challenge of the Reengineering Case is to extract a state machine model out of the abstract syntax graph of a Java program. The extracted state machine offers a reduced view on the full program graph and thus helps to understand the program regarding the question of interest. We tackle this task employing the general purpose graph rewrite system GrGen.NET (www.grgen.net).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
