ICMT: International Conference on Model Transformation

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICMT 2016 9th International Conference on Model Transformation
Jul 4, 2016 - Jul 8, 2016 Vienna, Austria Feb 29, 2016 (Feb 15, 2016)
ICMT 2015 8th International Conference on Model Transformation
Jul 20, 2015 - Jul 24, 2015 L'Aquila, Italy Feb 22, 2015 (Feb 15, 2015)
ICMT 2014 7th International Conference on Model Transformation
Jul 21, 2014 - Jul 25, 2014 York (UK) Feb 4, 2014 (Jan 28, 2014)
ICMT 2013 International Conference on Model Transformation
Jun 18, 2013 - Jun 19, 2013 Budapest, Hungary Feb 1, 2013 (Jan 25, 2013)
ICMT 2012 International Conference On Model Transformation
May 28, 2012 - May 29, 2012 Prague, Czech Republic Jan 16, 2012
ICMT 2011 International Conference on Model Transformation
Jun 27, 2011 - Jun 28, 2011 Zurich, Switzerland Feb 11, 2011 (Feb 4, 2011)
ICMT 2010 INTERNATIONAL CONFERENCE ON MODEL TRANSFORMATION
Jun 28, 2010 - Jul 2, 2010 Malaga, Spain Jan 28, 2010
ICMT 2009 International Conference on Model Transformation
Jun 29, 2009 - Jul 3, 2009 Zürich, Switzerland Feb 8, 2009
 
 

Present CFP : 2016

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 of the development process. 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 includes approaches such as: model-to-text transformation, e.g., to generate code or other textual artifacts from models; text-to-model transformations, e.g., to derive models from structured text such as legacy code; and model-to-model transformations, e.g., to normalize, weave, analyze, optimize, simulate, and refactor models, as well as to translate between modeling languages.

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.

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.
The efficient execution of model queries and transformations by scalable transformation engines on top of large graph data structures is also a key challenge in different application scenarios. Novel algorithms as well as innovative (e.g., distributed) execution strategies and domain-specific optimizations are sought in this respect.

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 the premier forum for researchers and practitioners from all areas of model transformation.

Topics
--------
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
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
- 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

Submission Guidelines
--------
All contributions will be subject to a rigorous selection process by the international Program Committee. Each paper will be reviewed by at least 3 committee members. All submissions should follow the LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Four kinds of submissions are elicited:
- Research papers: Up to 15 pages long.
- Application papers: Up to 15 pages long.
- Exploratory papers: Up to 10 pages long.
- Tool demonstration papers: Up to 7 pages long.

Research papers should describe novel and scientifically rigorous contributions to the model transformation field. Papers should clearly discuss how the results were validated.

Application papers should report on applications of model-transformation technology and should carefully identify and discuss important lessons learnt. Of special interest are experience papers that report on industrial applications of model transformation.

Exploratory papers should describe new, unconventional approaches related to the topics of interest of ICMT. Papers in this category should describe well-defined research ideas that fundamentally challenge established research directions and the current state of practice, but which are at an early stage of investigation and may not be fully evaluated yet.

Tool demonstration papers should describe novel tools or novel features of state-of-the-art tools, related to model transformation. Submissions should consist of two parts. The part will be included in the proceedings. The second part will not be included in the proceedings, but will be evaluated. The first part, no more than 7 pages, should describe the tool presented. Submissions that are supplemented by complete a completely configured environment (with all software and data pre-installed) will rank higher, since the research is then efficiently and reliably reproducible by reviewers and ICMT attendees. The PC chairs will facilitate creating and citing online virtual machines in SHARE [http://dx.doi.org/10.1016/j.procs.2011.04.062] for that purpose. The second part, no more than 5 pages, should explain how the demonstration will be carried out (via screenshots and a link to a 5-10 minute-long screencast that demonstrates the use of the tool).

All papers should be submitted electronically via EasyChair:
https://easychair.org/conferences/?conf=icmt2016

Mentoring Scheme
--------
Since 2015, ICMT offers a mentoring scheme through which prospective submitters can obtain early advice on the suitability, structure, and content of their papers. Through this scheme, senior members of the community (mentors) will provide authors with early feedback to help them align their submissions with the objectives and standards of ICMT. Please note that the mentoring scheme is only available for submissions led by an author who has not been involved in an ICMT publication in the past, and that the mentoring scheme will not interfere with the reviewing process (i.e., papers that have participated in the mentoring scheme will still be reviewed by three committee members in the reviewing phase).

Important dates (Mentoring Scheme)
---------------
Draft submission: December 2, 2015
Feedback due: January 20, 2016

Authors wishing to participate in the mentoring scheme, should submit a draft of their papers by the above deadline via EasyChair: https://easychair.org/conferences/?conf=icmt2016

Publishing
--------
The conference proceedings will be published by Springer in Lecture Notes in Computer Science (LNCS) series. Moreover, the best papers will get a special opportunity for publishing their extended papers in the Springer journal Software & Systems Modeling (SoSyM).

Organization
--------
PC Chairs
* Gregor Engels - Universität Paderborn (Germany)
* Pieter Van Gorp - University of Eindhoven (The Netherlands)

Steering Committee
* Jordi Cabot, INRIA, École des Mines de Nantes (France)
* Juan de Lara, Universidad Autónoma de Madrid (Spain)
* Davide Di Ruscio, University of L’Aquila (Italy)
* Keith Duddy, Queensland University of Technology (Australia)
* Martin Gogolla, University of Bremen (Germany)
* Jeff Gray, University of Alabama (USA)
* Zhenjiang Hu, National Institute of Informatics (Japan)
* Gerti Kappel, Vienna University of Technology (Austria)
* Richard Paige, University of York (UK)
* Alfonso Pierantonio, University of L’Aquila (Italy)
* Laurence Tratt, King’s College London (UK)
* Antonio Vallecillo, Universidad de Málaga (Spain)
* Dániel Varró, Budapest University of Technology and Economics (Hungary)
* Eelco Visser, Delft University of Technology (The Netherlands)

Contact
--------
Web: http://www.model-transformation.org
Email: icmt2016@easychair.org
Follow us on twitter: @icmt2016

Sincerely,
Pieter Van Gorp, Assistant Professor (UD)
Information Systems Group, School of Industrial Engineering
Eindhoven University of Technology (TU/e), The Netherlands
Phone: +31 40 247 2062, Skype: pvgorp, Fax: +31 40 243 2612
http://is.tm.tue.nl/staff/pvgorp/research/
 

Related Resources

ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
ICMT 2017   2017 International Conference on Manufacturing Technologies (ICMT 2017)--SCOPUS, Ei
ISSPIT 2016   The 16th IEEE International Symposium on Signal Processing and Information Technology
ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
LOPSTR 2016   26th International Symposium on Logic-Based Program Synthesis and Transformation
MODELSWARD 2017   5th International Conference on Model-Driven Engineering and Software Development
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
ICCMS - ACM 2017   2017 8th International Conference on Computer Modeling and Simulation (ICCMS 2017)-EI and Scopus