Call for Papers

Modelling is now essential for dealing with the complexity of IT systems during their development and maintenance processes. As models grow in use for developing IT systems, transformations between models grow in importance. Model transformations allow the definition and implementation of operations on models, and also provide a chain that can enable the automated development of a system from its corresponding models.

Model transformations require specialized support in order to realize their full potential; their foundations, semantics, structuring mechanisms, and properties (e.g., modularity, composability, and parameterization) all demand further study. Furthermore, model transformations do not sit in isolation, and require methodological support to integrate into existing software development practises.

ICMT is the premier forum for the presentation of new results in the area of model transformations. As a working conference, ICMT has a strong practical focus, with research papers, industrial reports, tool presentations, panels, and invited talks from renowned speakers.

Topics of interest include, but are not limited to languages, scalability, reuse, semantics, implementation, generation, merging, maintenance, evolution, methodologies, tools, case studies of/for model transformations.

Topics

Topics of interest include, but are not limited to:
  • Transformation paradigms and languages
  • graph rewriting, tree rewriting, attribute grammars
  • rule-based, declarative, imperative, functional
  • textual, graphical
  • pattern matching
  • transformation by example
  • modularity, reusability, and composition
  • comparison of transformation languages
  • theoretical foundations
  • Transformation algorithms and strategies
  • model representations: graphs, dags, trees
  • bidirectional transformation
  • incremental transformation
  • scalability
  • optimization
  • termination and confluence
  • higher-order transformation
  • evolution of transformations
  • Implementation and tools
  • design of transformations and transformation languages
  • verification, validation and testing of transformations
  • Applications and case studies
  • refactoring
  • aspect weaving
  • model comparison, differencing and merging
  • round-trip engineering
  • co-evolution of models and meta-models
  • reverse engineering (code-to-model)
  • code generation by model transformation
  • Industrial experience reports
  • Empirical studies