Analyzing Flowgraphs with ATL

Valerio Cosentino
(AtlanMod, INRIA & Ecole des Mines de Nantes, France)
Massimo Tisi
(AtlanMod, INRIA & Ecole des Mines de Nantes, France)
Fabian Büttner
(AtlanMod, INRIA & Ecole des Mines de Nantes, France)

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.

In Pieter Van Gorp, Louis M. Rose and Christian Krause: Proceedings Sixth Transformation Tool Contest (TTC 2013), Budapest, Hungary, 19-20 June, 2013, Electronic Proceedings in Theoretical Computer Science 135, pp. 32–36.
Published: 29th November 2013.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: