The 43th GRACE Seminar on Advanced Software Science and Engineering
Time: 10:00-12:00, October 29th, 2010
Place:Meeting Room (2009/2010), 20F, National Institute of Informatics
Inquiry: Soichiro Hidaka (hidaka_AT_nii.ac.jp)
Please register via the following page:
Frédéric 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.
Frédéric 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 reverse engineering.
Frédéric 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.
Frédéric 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 different class of model transformations, called Higher-Order Transformations (HOTs), i.e. transformations that analyze, produce or manipulate other transformations. While HOTs are powerful enough to be used as a solution to complex problems like transformation bidirectionalization, writing HOTs is generally considered 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 scenarios. 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 transformations.