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
    Czyzewski, Andrzej
    Lisowski, Karol
    JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2014, 43 (03) : 521 - 535
  • [22] Chemotherapy of ATL
    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.
    Nagy, BLB
    AMERICAN JOURNAL OF PHYSICAL ANTHROPOLOGY, 1999, : 208 - 208
  • [24] IMPLEMENTATION OF INTEGRATION OF WALSH-SERIES BY FLOWGRAPHS
    OHKITA, M
    KOBAYASHI, Y
    ELECTRONICS LETTERS, 1990, 26 (13) : 887 - 889
  • [25] GVL for ATL?
    Shah, Nirali N.
    Waldmann, Thomas A.
    BLOOD, 2013, 121 (01) : 6 - 7
  • [26] HAPs in ATL
    Sipp, Kevin
    INTERNATIONAL REVIEW OF AFRICAN AMERICAN ART, 2009, 22 (04): : 2 - +
  • [27] ATL AND AIDS
    TAKATSUKI, K
    ACTA HAEMATOLOGICA JAPONICA, 1988, 51 (08): : 1372 - 1377
  • [28] ATL and HTLV-I: In vivo cell growth of ATL cells
    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
    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
    Chihara, Dai
    BLOOD, 2023, 141 (10) : 1096 - 1098
12345