Skip to Main content Skip to Navigation
Conference papers

Analyzing Flowgraphs with ATL

Valerio Cosentino 1, 2, 3 Massimo Tisi 1 Fabian Büttner 1 
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
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 simplifi ed 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 specifi cations written in a domain speci c language. The proposed solution has been implemented using ATL.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Valerio Cosentino Connect in order to contact the contributor
Submitted on : Tuesday, April 30, 2013 - 9:01:14 AM
Last modification on : Wednesday, April 27, 2022 - 4:10:40 AM
Long-term archiving on: : Tuesday, April 4, 2017 - 1:45:24 AM


Files produced by the author(s)


  • HAL Id : hal-00819075, version 1


Valerio Cosentino, Massimo Tisi, Fabian Büttner. Analyzing Flowgraphs with ATL. Transformation Tool Contest, Jun 2013, Budapest, Hungary. ⟨hal-00819075⟩



Record views


Files downloads