Fourth Workshop on the
Analysis of Model Transformations (AMT)
 
    Fourth Workshop <br>on the Analysis of Model Transformations (AMT)


Welcome to the home page of the Fourth AMT (Analysis of Model Transformations) workshop!

To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformations — a quick search on the internet produces more than 30 different transformation languages that have been proposed in the literature or implemented in open-source or commercial tools. The increasing adoption of these languages and the growing size and complexity of the model transformations developed require a better understanding of how all activities in the model transformation life cycle can be optimally supported.

Properties of an artifact created by a model transformation are intimately linked to the model transformation that produced it. In other words, to be able to guarantee certain properties of the produced artifact, it may be very helpful, or even indispensable, to also have knowledge of the producing transformation. As the use and significance of modeling increase, the importance that the model transformations produce models of sufficient quality and with desirable properties increases as well; similarly, as the number and complexity of model transformations grows, the importance that transformations satisfy certain non-functional requirements and that life cycle activities for model transformations such as development, quality assurance, maintenance, and evolution are well supported also grows. While analyzing individual transformations is important, in practice transformations appear as part of more complex chains to accomplish specific MDE tasks. Correspondingly, analysis must be lifted to the level of entire transformation chains. Recognizing the importance and industrial relevance of this issue, this year we have decided to make the theme of the workshop focused on the representation, properties and analysis of model transformation chains.

Organizers:


Objectives and Scope

One objective of this workshop is foster innovative ideas on the representation of model transformation chains. This includes both languages and tools.

Another objective of the workshop is to provide a forum for the discussion and exchange of innovative ideas for the analysis of model transformations and transformation chains, broadly construed. Analyses might support a variety of model transformation activities including the development, quality assurance, maintenance and evolution.

A final objective of the workshop is to help clarify which transformation and transformation chain analysis problems can be solved with the help of existing analysis techniques and tools developed in the context of generalpurpose programming languages and source code transformation languages, and which analysis problems require new approaches specific to model transformations.


Topics of Interest
Topics of interest include, but are not limited to:
  • languages for representing model transformation chains
  • formal specification and verification of model transformations or transformation chains
  • testing and test case generation for model transformations or transformation chains
  • static analysis for model transformations or transformation chains such as control and data flow analyses and slicing
  • dynamic analysis for model transformations or transformation chains
  • abstract interpretation for model transformations or transformation chains (to, e.g., support optimization)
  • metrics for model transformations or transformation chains (to support, e.g., anti-pattern detection, refactoring and evolution)
  • impact analysis of model transformations or transformation chains (to support, e.g., maintenance)
  • certification and incremental re-validation for model transformations or transformation chains (e.g., for use in safety-critical systems)
  • tools for analyzing model transformations or transformation chains
  • (higher-order) transformation of transformation models or transformation chain models to make them amenable for analysis
  • case studies for analyzing model transformations or transformation chains
Maintained by Levi Lúcio. Last Modified: 2015/04/20 16:28:24.