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

https://hal.inria.fr/hal-00819075
Contributor : Valerio Cosentino <>
Submitted on : Tuesday, April 30, 2013 - 9:01:14 AM
Last modification on : Friday, October 25, 2019 - 2:22:01 PM
Long-term archiving on: : Tuesday, April 4, 2017 - 1:45:24 AM

File

TTC2013ATL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00819075, version 1

Citation

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

Share

Metrics

Record views

428

Files downloads

387