CfP: 11th International Conference on Model Transformation (ICMT 2018)

CALL FOR PAPERS

11th International Conference on Model Transformation (ICMT 2018)

June 25-28, 2018 | Toulouse (France) | https://twitter.com/icmtconf

IMPORTANT DATES

• Abstract submission: February 23, 2018
• Paper submission: March 2, 2018
• Notification of acceptance: April 9, 2018 Camera-ready version due: April 23, 2018
• Conference: June 25-27, 2018

OVERVIEW

Modeling is a key element in reducing the complexity of software systems during their development and maintenance. Model transformations are essential for elevating models from documentation elements to first-class artifacts. Transformations also play a key role in analyzing models to reveal conceptual flaws or highlight quality bottlenecks and in integrating heterogeneous tools into unified tool chains.

Model transformation encompasses a variety of technical spaces, including modelware, grammarware, dataware, and ontoware, a variety of model representations, e.g., trees vs. graphs, and a variety of transformation paradigms including rule-based transformations, term re-writing, and manipulations of objects in general-purpose programming languages. Moreover, in other fields like compiler construction the use of transformations is essential. Identifying means to reuse and share knowledge between fields is also of interest.

The study of model transformation includes foundations, structuring mechanisms, and properties, such as modularity and composability, 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. At the same time, usable and scalable verification techniques for model transformations are essential for the practical development of the field. The efficient execution of model queries and transformations by scalable transformation engines is also a key challenge. Novel algorithms as well as innovative (e.g., distributed) execution strategies and domain-specific optimizations are sought in this respect.

PAPER SUBMISSION DETAILS

ICMT'18 solicits two different types of papers:

• Research and application papers (up to 15 pages). Papers in this category should describe novel and scientifically rigorous contributions to the model transformation field and their validation (for research papers) or report on applications of model-transformation technology, and identify and discuss important lessons learnt (for application papers). Of special interest are experience papers that report on industrial applications of model transformation.
• Exploratory and tool demonstration papers (up to 5 pages). Papers in this category should describe new, unconventional approaches that fundamentally challenge established research directions and the current state of practice, but which are at an early stage of investigation (exploratory papers) or novel tools or novel features of state-of-the-art model transformation tools. The published papers will be clearly marked as "exploratory" or "tool demonstration". Supplementary information, which will not be published but may be used in the review, may be provided alongside the submission. For tool papers, some such supplementary information is mandatory, in particular how the demonstration will be carried out, including screenshots and examples, and a link to a 3-10 minutes-long YouTube video that demonstrates the use of the tool.

SUBMISSION PAGE

https://easychair.org/account/signin.cgi?key=62881330.x9pCRIDs1x1pnRyZ

TOPICS OF INTEREST
Topics of interest include, but are not limited to:

Transformation paradigms and languages:
- graph rewriting, tree rewriting, attribute grammars
- rule-based, declarative, imperative, and functional
- textual, graphical
- model queries, pattern matching
- transformation by example/demonstration
- modularity, reusability, and composition
- comparison of transformation languages
- theoretical foundations
- interplay with other fields, e.g., compiler construction and
compiler verification

Transformation algorithms and strategies:
- bidirectional transformation
- incremental transformation
- scalability and optimization
- termination and confluence
- higher-order transformation
- transformation chains
- non-functional aspects of transformations

Development of transformations:
- specification, verification, and validation
- verification and validation
(incl. testing, debugging, termination, confluence, metrics)
- evolution
- development processes
- tool support

Pragmatic aspects:
- 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

Applications and case studies:
- benchmarks
- industrial experience reports
- empirical studies

PUBLISHING

The conference proceedings will be published in the Springer Lecture Notes in Computer Science series. Moreover, an award will be presented to the best paper contributed to the conference, and a special issue with an extended version of the best papers from the conference is planned.

ORGANIZATION

PC Chairs

- Arend Rensink, University of Twente (The Netherlands)
- Jesus Sanchez Cuadrado, University of Murcia (Spain)

Programme Committee

- Anthony Anjorin, University of Paderborn (Germany)
- Rubby Casallas, Universidad de los Andes (Colombia)
- Marsha Chechik, University of Toronto (Canada)
- Antonio Cicchetti, Malardalen University (Sweden)
- Benoit Combemale, IRISA, Universite de Rennes 1 (France)
- Davide Di Ruscio, University of L'Aquila (Italy)
- Gregor Engels, University of Paderborn (Germany)
- Martin Gogolla, University of Bremen (Germany)
- Esther Guerra, Universidad Autonoma de Madrid (Spain)
- Soichiro Hidaka, Hosei University (Japan)
- Ludovico Iovino, Gran Sasso Science Institute (Italy)
- Leen Lambers, University of Potsdam (Germany)
- Frederic Jouault, ESEO (France)
- Timo Kehrer, University of Siegen (Germany)
- Dimitris Kolovos, University of York (UK)
- Yngve Lamo, Bergen University College (Norway)
- Tanja Mayerhofer, Vienna University of Technology (Austria)
- Richard Paige, University of York (UK)
- Bernhard Rumpe, RWTH Aachen University (Germany)
- Houari Sahraoui, Universite De Montreal (Canada)
- Andy Schurr, Darmstadt University of Technology (Germany)
- Eugene Syriani, Universite de Montreal (Canada)
- Gabriele Taentzer, University of Marburg (Germany)
- Massimo Tisi, INRIA, Ecole des Mines de Nantes (France)
- Daniel Varro, Budapest University of Technology and Economics (Hungary)
- Mark Van Den Brand, Eindhoven University of Technology (The Netherlands)
- Edward Willink, Willink Transformations Ltd. (UK)
- Manuel Wimmer, Vienna University of Technology (Austria)
- Vadim Zaytsev, Raincode Labs (Belgium)
- Steffen Zschaler, King's College London (UK)