From AtlanMod

< To: MtATL2011

3rd International Workshop on Model Transformation with ATL

Date: July 1st, 2011

Location: Z├╝rich, Switzerland

Co-located with TOOLS 2011, ICMT 2011, SC 2011, TAP 2011



Model transformation is an essential operation in Model-Driven Engineering. It may be used to generate lower-level code from higher-level models, but its application scope has now gone beyond Model-Driven Engineering. After the success of the previous International Workshops on Model Transformations with ATL (MtATL 2009, MtATL 2010), this 3rd event of the series aims at showing new applications for model transformations, as well as at improving the transformation technology.

Although the experience of using ATL so far is very positive, ATL is an evolving technology that is still a subject of research. Feedback from the ATL users and researchers is crucial for identifying potential language extensions and incorporating research results into the language. The connection between the language designers and the language users guarantees that ATL stays adequate to the real needs for model transformations encountered in non-trivial industrial and academic applications. We are interested in quality characteristics of ATL programs such as expressivity, usability, scalability, maintainability, performance. The main purpose of this workshop is to get together users and researchers in the domain of model transformations both from the academia and the industry in order to share experience.

Topics of Interest

Topics of interest to the workshop are typically about applying ATL model transformations to new problems, and extending ATL with new features. They notably include (but are not limited to) the following:

  • Industrial applications of ATL
  • ATL transformation performance and optimization
  • Transformation modularity, reusability, and composition
  • Higher-order and reflective transformations with ATL
  • Alternative execution semantics
  • Formalization of execution semantics
  • ATL in the context of Semantic web (interoperability with OWL, transformation of ontologies, interaction with OWL reasoning mechanism)
  • Semantic bridges with tools for formal analysis (e.g., Petri nets tools, Alloy, Maude, MatLab)
  • Debugging, profiling, and testing of transformations
  • Verification of transformations
  • ATL language and/or tools extensions