<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>************* Apologies for multiple postings *****************<br>
</div><br> LAST C A L L F O R P A P E R S<br>
<br> ICMT 2014<br><br> 7th International Conference on Model Transformation<br><br> July 21-25 2014, York, UK<br><br> <a href="http://www.model-transformation.org" target="_blank">http://www.model-transformation.org</a><br>
<br>****************************************************************<br><br>** IMPORTANT DATES **<br><br>Abstract submission January 28, 2014 (EXTENDED February 2, 2014)</div><div dir="ltr">Paper submission February 4, 2014 (EXTENDED February 9, 2014)<br>
Notification of acceptance March 11, 2014<br>
Camera-ready version due April 11, 2014<br>Conference dates July 21-25, 2014<br><br>---------------------------------------------------------------------------------<br><br>Modeling is a key element in reducing the complexity of software systems <br>
during their development and maintenance. Model transformations are <br>
essential for elevating models from documentation elements to <br>first-class artifacts of the development process. Transformations also <br>play a key role in analyzing models to reveal conceptual flaws or <br>highlight quality bottlenecks and in integrating heterogeneous tools <br>
into unified tool chains. <br><br>Model transformation includes approaches such as: model-to-text <br>transformation, e.g., to generate code or other textual artifacts from <br>models; text-to-model transformations, e.g., to derive models from <br>
structured text such as legacy code; and model-to-model transformations, <br>e.g., to normalize, weave, analyze, optimize, simulate, and refactor <br>models, as well as to translate between modeling languages. <br><br>Model transformation encompasses a variety of technical spaces, <br>
including modelware, grammarware, dataware, and ontoware, a variety of <br>model representations, e.g., based on different types of graphs, and a <br>variety of transformation paradigms including rule-based <br>transformations, term rewriting, and manipulations of objects in <br>
general-purpose programming languages. <br><br>The study of model transformation includes foundations, structuring <br>mechanisms, and properties, such as modularity, composability, and <br>parameterization of transformations, transformation languages, <br>
techniques, and tools. An important goal of the field is the development <br>of high-level model transformation languages, providing transformations <br>that are amenable to higher-order model transformations or tailored to <br>
specific transformation problems. <br><br>The efficient execution of model queries and transformations by scalable <br>transformation engines on top of large graph data structures is also a <br>key challenge in different application scenarios. Novel algorithms as <br>
well as innovative (e.g. distributed) execution strategies and <br>domain-specific optimizations are sought in this respect. <br><br>To achieve impact on software engineering in general, methodologies and <br>tools are required to integrate model transformation into existing <br>
development environments and processes. ICMT is the premier forum for <br>researchers and practitioners from all areas of model transformation. <br><br><br>** TOPICS **<br><br>Topics of interest include, but are not limited to:<br>
<br>- Transformation paradigms and languages<br> graph rewriting, tree rewriting, attribute grammars<br> rule-based, declarative, imperative, and functional<br> textual, graphical<br> model queries, pattern matching<br>
transformation by example/demonstration<br> modularity, reusability, and composition<br> comparison of transformation languages<br> theoretical foundations<br><br>- Transformation algorithms and strategies<br> bidirectional transformation<br>
incremental transformation<br> scalability and optimization<br> higher-order transformation<br> transformation chains<br> non-functional aspects of transformations<br><br>- Development of transformations<br> specification,<br>
verification and validation (incl. testing, debugging, termination, confluence, metrics)<br> evolution<br> development processes<br> tool support<br> benchmarking of transformation engines<br> <br>- Applications and case studies<br>
refactoring<br> aspect weaving<br> model comparison, differencing, and merging<br> model analysis<br> model synchronization and change propagation<br> co-evolution of models, metamodels, and transformations<br> round-trip/reverse/forward engineering<br>
industrial experience reports and empirical studies<br><br> <br>** INVITED SPEAKER **<br><br>This year’s edition of ICMT will feature, among peer-reviewed papers, <br>a keynote held by Jean Bézivin. <br><br><br>** SUBMISSION GUIDELINES **<br>
<br>All contributions will be subject to a rigorous selection process by <br>the international Program Committee, with an emphasis on originality, <br>practicality and overall quality. Papers should clearly indicate their <br>
contributions with respect to previous work. Each paper will be reviewed <br>by at least 3 committee members. All submissions should follow the LNCS <br>format, be in PDF, and should include the authors' names, affiliations <br>
and contact details. The submission web site is: <br><a href="https://www.easychair.org/account/signin.cgi?conf=icmt2014" target="_blank">https://www.easychair.org/account/signin.cgi?conf=icmt2014</a> <br><br>Two kinds of submissions are sought:<br>
- Research papers: Up to 15 pages long.<br>- Tool demonstration papers: Up to 7 pages long.<br><br>Tool demonstration papers should describe novel and state-of-the-art <br>tools or report on novel features of existing tools, related to model <br>
transformation. Submissions should consist of two parts. The first part, <br>no more than 7 pages, should describe the tool presented (please include <br>the URL of the tool if available). This part will be included in the <br>
proceedings. The second part, no more than 5 pages, should explain how <br>the demonstration will be carried out, including screen dumps and <br>examples. This part will not be included in the proceedings, but will be <br>
evaluated. <br><br><br>** PUBLISHING **<br><br>The conference proceedings will be published by Springer-Verlag in the <br>LNCS series. Moreover, a special issue with a selection of the best <br>papers from the conference will be published in the Journal on Software <br>
and Systems Modeling (Springer). <br><br><br>*** ORGANIZING COMMITTEE ***<br><br>PC CHAIRS<br>Davide Di Ruscio University of L’Aquila (Italy)<br>Daniel Varro Budapest University of Technology and Economics (Hungary)<br>
<br>WEB CHAIR<br>Philip Langer Vienna University of Technology (Austria)<br><br><br>**** CONTACT ****<br><br>Web : <a href="http://www.model-transformation.org" target="_blank">http://www.model-transformation.org</a><br>
Follow us on twitter: @icmt14 #icmt14<span class=""><font color="#888888"><span><font color="#888888"><span><font color="#888888"><br clear="all"><div><br></div></font></span></font></span></font></span></div></div></div>
</div></div></div><span class=""><font color="#888888"><br><br clear="all">
<div><br></div>-- <br>-------------------------------------------------------------------------------------------------------------<br>Davide Di Ruscio, PhD in Computer Science<br>Department of Information Engineering Computer Science and Mathematics<br>
University of L'Aquila<br>Via Vetoio, Coppito I-67010 L'Aquila (Italy)<br>Email: <a href="mailto:davide.diruscio@univaq.it" target="_blank">davide.diruscio@univaq.it</a><br>WWW: <a href="http://www.di.univaq.it/diruscio" target="_blank">http://www.di.univaq.it/diruscio</a><br>
Skype: davidediruscio<br>Twitter: DDiRuscio<br>-------------------------------------------------------------------------------------------------------------
</font></span></div>
</div><br><br clear="all"><div><br></div>-- <br>-------------------------------------------------------------------------------------------------------------<br>Davide Di Ruscio, PhD in Computer Science<br>Department of Information Engineering Computer Science and Mathematics<br>
University of L'Aquila<br>Via Vetoio, Coppito I-67010 L'Aquila (Italy)<br>Email: <a href="mailto:davide.diruscio@univaq.it" target="_blank">davide.diruscio@univaq.it</a><br>WWW: <a href="http://www.di.univaq.it/diruscio" target="_blank">http://www.di.univaq.it/diruscio</a><br>
Skype: davidediruscio<br>Twitter: DDiRuscio<br>-------------------------------------------------------------------------------------------------------------
</div>