pith. sign in

arxiv: 1312.0343 · v1 · pith:34C6MJNYnew · submitted 2013-12-02 · 💻 cs.SE · cs.PL

Analyzing Flowgraphs with ATL

Valerio Cosentino (AtlanMod , INRIA & Ecole des Mines de Nantes , France) , Massimo Tisi (AtlanMod , Fabian B\"uttner (AtlanMod This is my paper
classification 💻 cs.SE cs.PL
keywords flowmodelflowgraphsgraphprogramsolutiontransformationanalyzing
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.