Analyzing Flowgraphs with ATL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Analyzing Flowgraphs with ATL

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.
Fichier principal
Vignette du fichier
TTC2013ATL.pdf (361.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00819075 , version 1 (30-04-2013)

Identifiers

  • HAL Id : hal-00819075 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More