Source-to-source transformation in the large

被引:0
|
作者
Genssler, T [1 ]
Kuttruff, V [1 ]
机构
[1] Forschungszentrum Informat Karlsruhe, D-76131 Karlsruhe, Germany
关键词
reflective programming; software development environments;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper we present Inject/J, both a language and a tool for specifying complex source-to-source transformations of Java programs. the focus of Inject/J is on "transformation in the large" that is, modification of large object-oriented software on the design level. We first introduce the meta-model of our transformation language. This meta-model provides a conceptual view on object-oriented software by capturing relevant design entities. It also defines a number of conceptual analysis and transformation operations together with their code-level semantics. The entities of the meta-model, together with the respective operations, constitute the primitives of our transformation language. We discuss the main features of this transformation language and illustrate how it can be used to perform complex transformation tasks.
引用
收藏
页码:254 / 265
页数:12
相关论文
共 50 条
  • [1] Source-to-source transformation in the large
    Genssler, Thomas
    Kuttruff, Volker
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2789 : 254 - 265
  • [2] PROGRAM IMPROVEMENT BY SOURCE-TO-SOURCE TRANSFORMATION
    LOVEMAN, DB
    [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 121 - 145
  • [3] Automatic Sparsity Detection implemented as a source-to-source transformation
    Giering, Ralf
    Kaminski, Thomas
    [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 591 - 598
  • [4] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) : 708 - 718
  • [5] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 152 - 160
  • [6] Cetus - An extensible compiler infrastructure for source-to-source transformation
    Lee, SI
    Johnson, TA
    Eigenmann, R
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2004, 2958 : 539 - 553
  • [7] Exhaustive Execution of CHR Through Source-to-Source Transformation
    Elsawy, Ahmed
    Zaki, Amira
    Abdennadher, Slim
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 59 - 73
  • [8] A SOURCE-TO-SOURCE TRANSFORMATION FOR INCREASING RULE-BASED SYSTEM PARALLELISM
    PASIK, AJ
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (04) : 336 - 343
  • [9] Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
    Fakhry, Ghada
    Sharaf, Nada
    Abdennadher, Slim
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2013, 2014, 8901 : 145 - 163
  • [10] Polyhedral Source-to-Source Compiler
    Adamski, Dominik
    Jablonski, Grzegorz
    Perek, Piotr
    Napieralski, Andrzej
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 458 - 463