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 条
[31]   ATL OPPORTUNISTIC INFECTIONS [J].
SENBA, M ;
NAKAMURA, T .
AMERICAN JOURNAL OF SURGICAL PATHOLOGY, 1988, 12 (07) :578-578
[32]   ON THE EXPRESSIVENESS AND COMPLEXITY OF ATL [J].
Laroussinie, Francois ;
Markey, Nicolas ;
Oreiby, Ghassan .
LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (02)
[33]   ATL and connection points [J].
Shepherd, G ;
Wingo, S .
DR DOBBS JOURNAL, 1998, 23 (06) :117-+
[34]   How is ATL Really Used? Language Feature Use in the ATL Zoo [J].
Selim, Gehan M. K. ;
Cordy, James R. ;
Dingel, Juergen .
2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, :34-44
[35]   ATL介绍(三) [J].
吕思伟 ;
潘爱民 .
微电脑世界, 1999, (36) :53-54
[36]   ATL介绍(二) [J].
吕思伟 ;
潘爱民 .
微电脑世界, 1999, (35) :50-51
[37]   ATL AID IN AUSTRALIA [J].
DENNING, M .
TRIAL, 1969, 5 (04) :2-2
[38]   ATL and the IUnknown interface [J].
Shepherd, G ;
Wingo, S .
DR DOBBS JOURNAL, 1997, 22 (08) :119-123
[39]   ATL and dual interfaces [J].
Shepherd, G ;
Wingo, S .
DR DOBBS JOURNAL, 1997, 22 (12) :133-&
[40]   On the expressiveness and complexity of ATL [J].
Laroussinie, Francois ;
Markey, Nicolas ;
Oreiby, Ghassan .
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2007, 4423 :243-+