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.
Type de document :
Communication dans un congrès
Transformation Tool Contest, Jun 2013, Budapest, Hungary. 2013
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00819075
Contributeur : Valerio Cosentino <>
Soumis le : mardi 30 avril 2013 - 09:01:14
Dernière modification le : mercredi 5 décembre 2018 - 01:22:14
Document(s) archivé(s) le : mardi 4 avril 2017 - 01:45:24

Fichier

TTC2013ATL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2013. 〈hal-00819075〉

Partager

Métriques

Consultations de la notice

296

Téléchargements de fichiers

205