Modelling is a key element in reducing the complexity of software systems<br>during their development and maintenance. Model transformations are essential<br>for elevating models from documentation elements to first–class artifacts of<br>the development process. Model transformation includes model–to–text<br>transformation to generate code from models, text–to–model transformations to<br>parse textual representations to model representations, model extraction to<br>derive higher–level models from legacy code, and model–to–model transformations<br>to normalize, weave, optimize, simulate and refactor models, as well as to<br>translate between modeling languages.<br>Model transformation encompasses a variety of technical spaces, including<br>modelware, grammarware, and XML–ware, a variety of transformation<br>representations including graphs, trees, and DAGs, and a variety of<br>transformation paradigms including rule–based graph transformation,<br>term rewriting, and implementations in general–purpose programming languages.<br>The study of model transformation includes foundations, semantics, structuring<br>mechanisms, and properties (such as modularity, composability, and<br>parameterization) of transformations, transformation languages, techniques and<br>tools. An important goal of the field is the development of high–level<br>declarative model transformation languages, providing model representations of<br>transformations that are amenable to ′higher–order′ model transformation.<br>To achieve impact on software engineering practice, tools and methodologies to<br>integrate model transformation into existing development environments and<br>processes are required. ICMT is the premier forum for the presentation of<br>contributions that advance the state–of–the–art in the field of model<br>transformation and aims to bring together researchers from all areas of model<br>transformation.<br>Topics<br>––––––<br>Topics of interest include, but are not limited to:<br>* Transformation paradigms and languages<br>* graph rewriting, tree rewriting, attribute grammars<br>* rule–based, declarative, imperative, functional<br>* textual, graphical<br>* pattern matching<br>* transformation by example<br>* modularity, reusability, and composition<br>* comparison of transformation languages<br>* theoretical foundations<br>* Transformation algorithms and strategies<br>* model representations: graphs, dags, trees<br>* bidirectional transformation<br>* incremental transformation<br>* scalability<br>* optimization<br>* termination and confluence<br>* higher–order transformation<br>* evolution of transformations<br>* Implementation and tools<br>* design of transformations and transformation languages<br>* verification, validation and testing of transformations<br>* Applications and case studies<br>* refactoring<br>* aspect weaving<br>* model comparison, differencing and merging<br>* round–trip engineering/change propagation<br>* co–evolution of models and meta–models<br>* reverse engineering (code–to–model)<br>* code generation by model transformation<br>* Industrial experience reports<br>* Empirical studies<br>
Abbrevation
ICMT
City
Prague
Country
Czechia
Deadline Paper
Start Date
End Date
Abstract