ICMT 2013 - ICMT 2013 : International Conference on Model Transformation

The International Conference on Model Transformation (ICMT) is the premier forum for researchers and practitioners alike from all areas of model transformation.
Model transformation encompasses a variety of technical spaces, including modelware, grammarware, dataware, and ontoware, a variety of model representations, e.g., based on different types of graphs, and a variety of transformation paradigms including rule-based transformations, term rewriting, and manipulations of objects in general-purpose programming languages, to mention just a few.
The study of model transformation includes foundations, structuring mechanisms, and properties, such as modularity, composability, and parameterization of transformations, transformation languages, techniques, and tools. An important goal of the field is the development of high-level model transformation languages, providing transformations that are amenable to higher-order model transformations or tailored to specific transformation problems. To achieve impact on software engineering in general, methodologies and tools are required to integrate model transformation into existing development environments and processes.
ICMT is seeking original papers, which have not been submitted elsewhere. The proceedings are published in Springer LNCS. Authors of selected papers will be invited to submit an extension of their work to a special issue of the Journal of Object Technology (JOT).
ICMT 2013 fosters original submissions covering the following topics of interest, but not restricted to them:
Transformation paradigms and languages:
? graph rewriting, tree rewriting, attribute grammars
? rule-based, declarative, imperative, and functional
? textual, graphical
? pattern matching
? transformation by example/demonstration
? modularity, reusability, and composition
? comparison of transformation languages
? theoretical foundations
Transformation algorithms and strategies:
? bidirectional transformation
? incremental transformation
? scalability and optimization
? termination and confluence
? higher-order transformation
? transformation chains
Development of transformations:
? specification, verification, and validation
? testing and debugging
? evolution
? development processes
? tool support
? benchmarking of transformation engines
Applications and case studies:
? refactoring
? aspect weaving
? model comparison, differencing, and merging
? model synchronization and change propagation
? co-evolution of models, metamodels, and transformations
? round-trip/reverse/forward engineering
? industrial experience reports
? empirical studies