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 条
[21]   Employing flowgraphs for forward route reconstruction in video surveillance system [J].
Czyzewski, Andrzej ;
Lisowski, Karol .
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2014, 43 (03) :521-535
[22]   Chemotherapy of ATL [J].
Tobinai, K .
TWO DECADES OF ADULT T-CELL LEUKEMIA AND HTLV-I RESEARCH, 2003, (50) :263-276
[23]   Bioarchaeological evidence for atl-atl use in prehistory. [J].
Nagy, BLB .
AMERICAN JOURNAL OF PHYSICAL ANTHROPOLOGY, 1999, :208-208
[24]   IMPLEMENTATION OF INTEGRATION OF WALSH-SERIES BY FLOWGRAPHS [J].
OHKITA, M ;
KOBAYASHI, Y .
ELECTRONICS LETTERS, 1990, 26 (13) :887-889
[25]   GVL for ATL? [J].
Shah, Nirali N. ;
Waldmann, Thomas A. .
BLOOD, 2013, 121 (01) :6-7
[26]   HAPs in ATL [J].
Sipp, Kevin .
INTERNATIONAL REVIEW OF AFRICAN AMERICAN ART, 2009, 22 (04) :2-+
[27]   ATL AND AIDS [J].
TAKATSUKI, K .
ACTA HAEMATOLOGICA JAPONICA, 1988, 51 (08) :1372-1377
[28]   ATL and HTLV-I: In vivo cell growth of ATL cells [J].
Uchiyama, T .
JOURNAL OF CLINICAL IMMUNOLOGY, 1996, 16 (06) :305-314
[29]   Treatment and Outcome of ATL Diagnosed in 2021 to 2023 By the Kagoshima ATL Registry [J].
Nakamura, Daisuke ;
Owatari, Satsuki ;
Miyazono, Takayoshi ;
Nakashima, Hidetoshi ;
Arai, Akihiko ;
Inoue, Hirosaka ;
Yonekura, Kentaro ;
Fujii, Kazuyuku ;
Takeuchi, Shogo ;
Fukutoku, Satoshi ;
Nakabeppu, Seiichiro ;
Shima, Kodai ;
Arima, Naosuke ;
Kamada, Yuhei ;
Haraguchi, Koichi ;
Kawada, Hideaki ;
Ito, Yoshikiyo ;
Otsuka, Maki ;
Hanada, Shuichi ;
Yoshimitsu, Makoto ;
Ishitsuka, Kenji .
BLOOD, 2024, 144 :3060-3060
[30]   Synthetic lethality in ATL [J].
Chihara, Dai .
BLOOD, 2023, 141 (10) :1096-1098
12345