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 条
[1]   GRAMMAR CHARACTERIZATION OF FLOWGRAPHS [J].
BECERRIL, JL ;
BONDIA, J ;
CASAJUANA, R ;
VALER, F .
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1980, 24 (06) :756-763
[2]   FLOWGRAPHS AS A TEACHING AID [J].
HAPP, WW .
IEEE TRANSACTIONS ON EDUCATION, 1966, 9 (02) :69-80
[3]   Chart parsing of flowgraphs [J].
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01)
[4]   FLOWGRAPHS AND LINEAR SYSTEMS [J].
GHOSH, SN ;
GHOSH, PK .
INTERNATIONAL JOURNAL OF CONTROL, 1971, 14 (05) :961-&
[5]   FLOWGRAPHS FOR REPRESENTATION OF NONLINEAR SYSTEMS [J].
BICKART, TA .
IRE TRANSACTIONS ON CIRCUIT THEORY, 1961, CT 8 (01) :49-&
[6]   Hamiltonian problems for reducible flowgraphs [J].
Vernet, O ;
Markenzon, L .
XVII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 1997, :264-267
[7]   FLOWGRAPHS AND FLOW ALGEBRAS [J].
MILNER, R .
JOURNAL OF THE ACM, 1979, 26 (04) :794-818
[8]   ALGORITHM FOR STRUCTURING FLOWGRAPHS [J].
BAKER, BS .
JOURNAL OF THE ACM, 1977, 24 (01) :98-120
[9]   ON THE DETECTION OF UNSTRUCTUREDNESS IN FLOWGRAPHS [J].
TSE, TH .
INFORMATION PROCESSING LETTERS, 1987, 25 (03) :189-193
[10]   Prognostic models based on statistical flowgraphs [J].
Collins, David H. ;
Huzurbazar, Aparna V. .
APPLIED STOCHASTIC MODELS IN BUSINESS AND INDUSTRY, 2012, 28 (02) :141-151
12345