■場所：国立情報学研究所(NII) 20階 2009/2010 ミーティングルーム
Frederic Jouault (Ecole des Mines de Nantes)
Management of Transformations
Model-to-model transformation approaches like ATL focus on one
transformation at a time. Therefore, transformation management
techniques are required in order to leverage such approaches on
complex scenarios involving more than one step. Transformations
between abstract and concrete syntaxes like TCS make it possible
to handle additional complexity caused by heterogeneity of
representation systems. However they necessitate additional
management mechanisms. In this talk, we argue firstly,
that it is necessary to have precise metadata about available
modeling artifacts; secondly, that users must be able to run queries
over these metadata; and thirdly, that specific operators enabling
automation of transformation manipulation are needed.
This presentation describes specific management issues
as well as techniques addressing them.
Frederic Jouault is a researcher in the AtlanMod team.
He received his Ph.D. in September 2006 from the University
of Nantes. He did a postdoc at the University of Alabama at
Birmingham in 2007. His research interests involve model
engineering, model transformation, and their application
to Domain-Specific Languages (DSLs) and model-based legacy
Frederic created ATL (AtlanMod Transformation Language),
a DSL for model-to-model transformation.
He is now leading the development of ATL (language and toolkit)
on Eclipse.org. He is in charge of the Eclipse modeling
M2M project as well as a member of the modeling PMC.
Frederic is also involved in the MDE Diploma of Ecole
des Mines de Nantes, of which he is deputy lead,
and in which he notably teaches about ATL.
Massimo Tisi (Ecole des Mines de Nantes)
Transforming Model Transformations
Technologies in Model-Driven Engineering (MDE) have reached
a significant level of maturity and model transformations
address an increasingly wide spectrum of applications.
With the success of the modeling and transformation paradigm,
the need arises to address more complex applications that
require an automatic manipulation of model transformations.
The uniformity and flexibility of the model-driven paradigm
allows this class of applications to make use of the same
transformation infrastructure. This is possible because transformations
can be translated into transformation models and given as input to a
class of model transformations, called Higher-Order Transformations (HOTs),
i.e. transformations that analyze, produce or manipulate other
While HOTs are powerful enough to be used as a solution to complex problems
like transformation bidirectionalization, writing HOTs is generally
a time-consuming and error-prone task, and often results in verbose code.
In this talk we classify HOTs and show their usefulness in different MDE
Then we present several proposals to facilitate the definition of HOTs
in model transformation languages.
Massimo Tisi is Assistant Professor at the Ecole des Mines de Nantes.
He obtained his Ph.D in computer science at Politecnico di Milano,
in the research group on databases and Web technologies.
During his Ph.D, he specialized in model transformations in MDE, especially
applied to the development for the Web. Following this research line,
he has been a visiting researcher at McGill University, Montreal,
and in the AtlanMod INRIA group in Nantes, and later a postdoctoral
researcher at INRIA. Today his main research interests are in the
development of theoretically sound techniques for software models and