CfPBoK
by
Vadim Zaytsev
Topic
T3B
: Transformation Languages
Work whose object of study is a software language to express transformation itself: design, semantics, implementation of transformation DSLs, such as strategies, rewriting languages, query languages, and their expressiveness or correctness. If the main result is a specific transformation pipeline, we can use
T4B
/
T4C
.
ATEM 2006 SI
SLE 2008
SLE 2009
SLE 2010
SLE 2011
SLE 2012
SLE 2013
SLE 2014
SLE 2014 SI
SLE 2015
SLE 2016
SLE 2017
SLE 2018
SLE 2019
SLE 2020
SLE 2021
SLE 2022
SLE 2023
SLE 2024
SLE 2024 SI
SLE 2025
SLE 2026
Summary
Requested in
18
/
26
calls
Requested in
17
/
19
pure calls (
2010
–
2026
with the longest streak of
17
years)
Primary tagged in
13
/
26
paper bundles
Primary tagged in
11
/
19
pure proceedings (
2009
–
2024
with the longest streak of
4
years)
Secondary tagged in
14
/
26
paper bundles
Secondary tagged in
11
/
19
pure proceedings (
2008
–
2024
with the longest streak of
6
years)
Top 3 co-occurring topics:
T4B: Horizontal Transformation
(
24
times)
T4A: Workbenches
(
20
times)
T2B: Evolution
(
13
times)
Top 3 contributors:
Andy Schürr
(
4
times)
Anthony Anjorin
(
3
times)
Nils B. Weidmann
(
3
times)
List of papers (55)
(
ATEM 2006 SI
)
Formalising Model Transformation Rules for UML/MOF 2
(
Carsten Amelunxen
,
Andy Schürr
)
T3B
T5D
T3A
T4A
(
ATEM 2006 SI
)
Aspect-Oriented Prolog in a Language Processing Context
(
Wolfgang Lohmann
,
Günter Riedewald
,
Guido Wachsmuth
)
T1D
T3C
T4A
T3B
(
SLE 2008
)
Transformation Language Integration Based on Profiles and Higher Order Transformations
(
Pieter Van Gorp
,
Anne Keller
,
Dirk Janssens
)
T1D
T3B
T4B
(
SLE 2008
)
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
(
Bernhard Schätz
)
T4B
T5D
T3B
(
SLE 2008
)
A Practical Evaluation of Using TXL for Model Transformation
(
Hongzhi Liang
,
Jürgen Dingel
)
T5E
T4B
T3B
(
SLE 2009
)
A Novel Approach to Semi-automated Evolution of DSML Model Transformation
(
Tihamér Levendovszky
,
Daniel Balasubramanian
,
Anantha Narayanan
,
Gábor Karsai
)
T2B
T3B
T4B
(
SLE 2009
)
Model Transformation Languages Relying on Models as ADTs
(
Jerónimo Irazábal
,
Clàudia Pons
)
T3B
T3A
T5D
(
SLE 2009
)
Graphical Template Language for Transformation Synthesis
(
Elīna Kalniņa
,
Audris Kalniņš
,
Edgars Celms
,
Agris Šostaks
)
T3B
T4F
T4B
(
SLE 2010
)
JTL: A Bidirectional and Change Propagating Transformation Language
(
Antonio Cicchetti
,
Davide Di Ruscio
,
Romina Eramo
,
Alfonso Pierantonio
)
T3B
T4B
T2B
(
SLE 2010
)
DSLTrans: A Turing Incomplete Transformation Language
(
Bruno Barroca
,
Levi Lúcio
,
Vasco Amaral
,
Roberto Félix
,
Vasco Sousa
)
T3B
T5D
T4B
(
SLE 2011
)
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations
(
Andreas Seibel
,
Regina Hebig
,
Stefan Neumann
,
Holger Giese
)
T1D
T3B
T5G
T6B
(
SLE 2011
)
An Algorithm for Layout Preservation in Refactoring Transformations
(
Maartje de Jonge
,
Eelco Visser
)
T4B
T3B
T2B
(
SLE 2011
)
Metacompiling OWL Ontologies
(
Anders Nilsson
,
Görel Hedin
)
T3E
T4C
T3B
(
SLE 2011
)
Towards Combinators for Bidirectional Model Transformations in Scala
(
Arif Wider
)
T3B
T4B
T3F
(
SLE 2012
)
The Program Is the Model: Enabling Transformations@run.time
(
Jesús Sánchez Cuadrado
,
Esther Guerra
,
Juan de Lara
)
T4D
T3F
T3B
(
SLE 2012
)
A Framework for Bidirectional Model-to-Platform Transformations
(
Anthony Anjorin
,
Karsten Saller
,
Sebastian Rose
,
Andy Schürr
)
T4B
T3B
T4C
(
SLE 2012
)
Model Transformation Co-evolution: A Semi-automatic Approach
(
Jokin García
,
Óscar Díaz
,
Maider Azanza
)
T2B
T3B
T4A
(
SLE 2013
)
Dark Knowledge and Graph Grammars in Automated Software Design
(
Don S. Batory
,
Rui Carlos Gonçalves
,
Bryan Marker
,
Janet Siegmund
)
T4C
T3B
T1A
(
SLE 2013
)
Software Evolution to Domain-Specific Languages
(
Stefan Fehrenbach
,
Sebastian Erdweg
,
Klaus Ostermann
)
T2B
T3C
T3B
(
SLE 2013
)
Safe Specification of Operator Precedence Rules
(
Ali Afroozeh
,
Mark van den Brand
,
Adrian Johnstone
,
Elizabeth Scott
,
Jurgen Vinju
)
T1A
T3A
T3B
(
SLE 2013
)
Guided Grammar Convergence
(
Vadim Zaytsev
)
T5B
T4B
T3A
T3B
(
SLE 2014
)
fUML as an Assembly Language for Model Transformation
(
Massimo Tisi
,
Frédéric Jouault
,
Jérôme Delatour
,
Zied Saidi
,
Hassene Choura
)
T4B
T3B
T4D
T4A
(
SLE 2014
)
Respect Your Parents: How Attribution and Rewriting Can Get Along
(
Anthony M. Sloane
,
Matthew Roberts
,
Len Hamey
)
T3A
T3B
T1C
(
SLE 2014
)
Origin Tracking in Attribute Grammars
(
Kevin Williams
,
Eric Van Wyk
)
T3A
T5G
T3B
T1C
(
SLE 2014
)
Dynamic Scope Discovery for Model Transformations
(
Māris Jukšs
,
Clark Verbrugge
,
Dániel Varró
,
Hans Vangheluwe
)
T5F
T3B
T4D
T4G
(
SLE 2014
)
Test-Data Generation for Xtext
(
Johannes Härtel
,
Lukas Härtel
,
Ralf Lämmel
)
T5C
T4A
T3B
T5B
(
SLE 2014 SI
)
Declarative rewriting through circular nonterminal attributes
(
Emma Söderberg
,
Görel Hedin
)
T3A
T3B
T1C
T5E
(
SLE 2015
)
Distributed Model-to-Model Transformation with ATL on MapReduce
(
Amine Benelallam
,
Abel Gómez
,
Massimo Tisi
,
Jordi Cabot
)
T4B
T5F
T6D
T3B
(
SLE 2015
)
Managing Uncertainty in Bidirectional Model Transformations
(
Romina Eramo
,
Alfonso Pierantonio
,
Gianni Rosa
)
T4B
T5D
T2B
T3B
(
SLE 2015
)
Modular Capture Avoidance for Program Transformations
(
Nico Ritschel
,
Sebastian Erdweg
)
T3B
T5D
T1D
T2B
(
SLE 2015
)
Analysis and Transformation with the Nuthatch Tree-Walking Library
(
Anya Helene Bagge
)
T3F
T3B
T5B
T4A
(
SLE 2015
)
The Whiley Rewrite Language (WyRL)
(
David J. Pearce
)
T3B
T4C
T4A
T5D
(
SLE 2016
)
Parsing and Reflective Printing, Bidirectionally
(
Zirun Zhu
,
Yongzhe Zhang
,
Hsiang-Shang Ko
,
Pedro Martins
,
João Saraiva
,
Zhenjiang Hu
)
T3B
T3C
T4B
T2B
(
SLE 2016
)
Symbolic Execution of High-Level Transformations
(
Ahmad Salim Al-Sibahi
,
Aleksandar S. Dimovski
,
Andrzej Wąsowski
)
T5D
T3B
T4C
(
SLE 2016
)
Coupled Software Transformations — Revisited
(
Ralf Lämmel
)
T2B
T3B
T5G
T1D
(
SLE 2018
)
Constraint-based Run-time State Migration for Live Modeling
(
Ulyana Tikhonova
,
Jouke Stoel
,
Tijs van der Storm
,
Thomas Degueule
)
T3B
T4D
(
SLE 2018
)
Migrating Business Logic to an Incremental Computing DSL: A Case Study
(
Daco C. Harkes
,
Elmer van Chastelet
,
Eelco Visser
)
T3B
T4A
T5E
T1D
(
SLE 2019
)
A Feature-based Classification of Triple Graph Grammar Variants
(
Nils B. Weidmann
,
Robin Oppermann
,
Patrick Robrecht
)
T3B
T4A
T5D
T4B
(
SLE 2019
)
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
(
Nils B. Weidmann
,
Anthony Anjorin
,
Erhan Leblebici
,
Andy Schürr
)
T3B
T4A
T1D
(
SLE 2019
)
Shadow Models: Incremental Transformations for MPS
(
Markus Völter
,
Klaus Birken
,
Sascha Lisson
,
Alexander Rimer
)
T3B
T4A
T5H
(
SLE 2019
)
From DSL Specification to Interactive Computer Programming Environment
(
Pierre Jeanjean
,
Benoît Combemale
,
Olivier Barais
)
T3B
T4A
T4C
T4D
(
SLE 2020
)
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
(
Lars Fritsche
,
Jens Kosiol
,
Adrian Möller
,
Andy Schürr
,
Gabriele Taentzer
)
T3B
T4A
T5D
T4B
(
SLE 2020
)
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
(
Nils B. Weidmann
,
Lars Fritsche
,
Anthony Anjorin
)
T3B
T4B
T5H
(
SLE 2021
)
Executing Certified Model Transformations on Apache Spark
(
Jolan Philippe
,
Massimo Tisi
,
Hélène Coullon
,
Gerson Sunyé
)
T3B
T4A
T5D
T5E
(
SLE 2021
)
Getting Grammars into Shape for Block-based Editors
(
Mauricio Verano Merino
,
Tom Beckmann
,
Tijs van der Storm
,
Robert Hirschfeld
,
Jurgen Vinju
)
T3B
T4A
T4B
T4C
(
SLE 2021
)
Faster Reachability Analysis for LR(1) Parsers
(
Frédéric Bour
,
François Pottier
)
T3B
T4B
T6B
(
SLE 2022
)
Selective Traceability for Rule-Based Model-to-Model Transformations
(
Qurat Ul Ain Ali
,
Dimitrios S. Kolovos
,
Konstantinos Barmpis
)
T5G
T3B
T4B
T5F
(
SLE 2022
)
Partial Loading of Repository-Based Models through Static Analysis
(
Sorour Jahanbin
,
Dimitrios S. Kolovos
,
Simos Gerasimou
,
Gerson Sunyé
)
T5F
T5B
T4B
T3B
(
SLE 2023
)
Coccinelle: Impact and Internals
(
Julia Lawall
)
T3B
T2B
T6B
T4A
(
SLE 2023
)
Towards Efficient Model Comparison using Automated Program Rewriting
(
Qurat Ul Ain Ali
,
Dimitrios S. Kolovos
,
Konstantinos Barmpis
)
T4B
T3B
T5F
(
SLE 2024
)
Concrete Syntax Metapatterns
(
Luka Miljak
,
Casper Bach Poulsen
,
Rosilde Corvino
)
T4B
T3B
T2B
T4A
(
SLE 2024
)
Trieste: A C++ DSL for Flexible Tree Rewriting
(
Sylvan Clebsch
,
Matilda Blomqvist
,
Elias Castegren
,
Matthew Johnson
,
Matthew Parkinson
)
T3B
T4C
T5F
T1D
(
SLE 2024 SI
)
Supporting reusable model migration with Edelta
(
Lorenzo Bettini
,
Amleto Di Salle
,
Ludovico Iovino
,
Alfonso Pierantonio
)
T2B
T3B
T4A
T1E
(
SLE 2024 SI
)
Zipper-based embedding of strategic attribute grammars
(
José Nuno Macedo
,
Emanuel Rodrigues
,
Marcos Viera
,
João Saraiva
)
T3B
T3A
T4A
T5F
(
SLE 2024 SI
)
Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation
(
Weixing Zhang
,
Jörg Holtmann
,
Daniel Strüber
,
Regina Hebig
,
Jan-Philipp Steghöfer
)
T2B
T3C
T3B
T4A
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.