Analyzing Flowgraphs with ATL
This work addresses a specific case study for model transformation tools, presenting an incremental solution.
The paper tackles the problem of analyzing program flow by executing a chain of model transformations from Java source code to derive control and data flow graphs, and validates the program flow against specifications using ATL, with the solution implemented for the TTC 2013 case study.
This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow graph and its data flow graph. Finally we develop a model transformation that validates the program flow by comparing it with a set of flow specifications written in a domain specific language. The proposed solution has been implemented using ATL.