Transforming models with ATL

被引：0
|
作者：
Jouault, F [1 ]
Kurtev, I
机构：
[1] Univ Nantes, ATLAS Grp, INRIA, F-44035 Nantes, France
[2] Univ Nantes, LINA, F-44035 Nantes, France
来源：
SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE | 2006年 / 3844卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions. The paper describes the language syntax and semantics by using examples. ATL is supported by a set of development tools such as an editor, a compiler, a virtual machine, and a debugger. A case study shows the applicability of the language constructs. Alternative ways for implementing the case study are outlined. In addition to the current features, the planned future ATL features are briefly discussed.
引用
收藏
页码：128 / 138
页数：11
相关论文
共 50 条
  • [1] Minimisation of ATL* Models
    Cerrito, Serenella
    David, Amelie
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 193 - 208
  • [2] Using ATL for Checking Models
    Bezivin, Jean
    Jouault, Frederic
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 152 : 69 - 81
  • [3] Role of HBZ-RNA in transforming T cells in ATL
    Tagaya, Yutaka
    Cocchi, Fiorenza
    JAIDS-JOURNAL OF ACQUIRED IMMUNE DEFICIENCY SYNDROMES, 2014, 67 : 85 - 85
  • [4] Towards the systematic measurement of ATL transformation models
    Barranquero Tolosa, Jose
    Sanjuan-Martinez, Oscar
    Garcia-Diaz, Vicente
    Pelayo G-Bustelo, B. Cristina
    Cueva Lovelle, Juan Manuel
    SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (07): : 789 - 815
  • [5] Tgat, a novel-transforming gene, exclusively expressed in ATL tumor cells
    Yoshizuka, N
    Moriuchi, R
    Hasegawa, S
    Shimada, T
    Katamine, S
    AIDS RESEARCH AND HUMAN RETROVIRUSES, 2001, 17 : S8 - S8
  • [6] Automatic Generation of Ecore Models for Testing ATL Transformations
    Almendros-Jimenez, Jesus M.
    Becerra-Teron, Antonio
    MODEL AND DATA ENGINEERING, 2016, 9893 : 16 - 30
  • [7] On the Complexity of ATL and ATL* Module Checking
    Bozzelli, Laura
    Murano, Aniello
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (256): : 268 - 282
  • [8] The ATL08 as a height reference for the global digital elevation models
    Osama, Nahed
    Shao, Zhenfeng
    Ma, Yue
    Yan, Jianguo
    Fan, Yewen
    Habib, Shaimaa Magdy
    Freeshah, Mohamed
    GEO-SPATIAL INFORMATION SCIENCE, 2024, 27 (02) : 327 - 346
  • [9] On Transforming DEMO Models to ArchiMate
    de Kinderen, Sybren
    Gaaloul, Khaled
    Proper, H. A.
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2012, 2012, 113 : 270 - 284
  • [10] Checking and transforming models with AutoFocus
    Schätz, B
    Braun, P
    Huber, F
    Wisspeintner, A
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 307 - 314
12345