Analyzing Flowgraphs with ATL

被引：0
作者：
Cosentino, Valerio [1 ,2 ]
Tisi, Massimo [1 ,2 ]
Buettner, Fabian [1 ,2 ]
机构：
[1] INRIA, AtlanMod, Nantes, France
[2] Ecole Mines Nantes, Nantes, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 135期
关键词：
D O I：
10.4204/EPTCS.135.4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：32 / 36
页数：5
相关论文
共 50 条
[41]   On the expressiveness and complexity of ATL [J].
LIAFA, Univ. Paris 7 & CNRS, France ;
不详 .
Log. Methods Comp. Sci., 2008, 2
[42]   SIGNAL FLOWGRAPHS SOLVED BY GRAPH-EXPANSION ALGORITHM [J].
POLASEK, JC .
ELECTRONICS LETTERS, 1970, 6 (08) :264-&
[43]   ANALYSIS OF REAL-TIME SYSTEMS BY DATA FLOWGRAPHS [J].
KODRES, UR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) :169-178
[44]   A min-max relation in flowgraphs and some applications [J].
Ferreira, Carlos Eduardo ;
Pereira Franco, Alvaro Junio .
DISCRETE APPLIED MATHEMATICS, 2018, 245 :65-76
[45]   Transforming models with ATL [J].
Jouault, F ;
Kurtev, I .
SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 :128-138
[46]   IDENTIFICATION OF ATL STEM CELLS IN AN ATL MODEL HBZ TRANSGENIC MOUSE [J].
Kuribayashi, Wakako ;
Mizukami, Takuo ;
Takizawa, Kazuya ;
Sugata, Kenji ;
Kuramitsu, Madoka ;
Momose, Haruka ;
Iwama, Atsushi ;
Hamaguchi, Isao .
EXPERIMENTAL HEMATOLOGY, 2015, 43 (09) :S74-S74
[47]   Gene expression profiling of ATL patients: Identification of signaling pathways that contribute to ATL [J].
Pise-Masison, Cynthia A. ;
Radonovich, Michael A. ;
Dohoney, Kathleen A. ;
Morris, John C. ;
O'Mahoney, Deirdre C. ;
Waldmann, Thomas A. ;
Janik, John E. ;
Brady, John N. .
AIDS RESEARCH AND HUMAN RETROVIRUSES, 2007, 23 (04) :655-656
[48]   Transparent ATL controls [J].
Armstrong, T ;
Nelson, M .
DR DOBBS JOURNAL, 1998, 23 (03) :72-+
[49]   ATL介绍(一) [J].
吕思伟 ;
潘爱民 .
微电脑世界, 1999, (34) :61-62
[50]   Can we cure ATL: new drugs and targeting ATL stem cells [J].
Olivier Hermine .
Retrovirology, 11 (Suppl 1)
12345