posted by user: hossein_haeri || 1871 views || tracked by 7 users: [display]

ICMT 2014 : 7th International Conference on Model Transformation


Conference Series : International Conference on Model Transformation
When Jul 21, 2014 - Jul 25, 2014
Where York (UK)
Abstract Registration Due Jan 28, 2014
Submission Deadline Feb 4, 2014
Notification Due Mar 11, 2014
Final Version Due Apr 4, 2014
Categories    transformation paradigms   transformation languages   transformation algorithms   transformation strategies

Call For Papers

ICMT 2014
7th International Conference on Model Transformation, July 21-25 2014, York (UK)

Call for Papers

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 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)
development processes
tool support
benchmarking of transformation engines

Applications and case studies:
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

Two kinds of submissions are sought:
Research papers: Up to 15 pages long.
Tool demonstration papers: Up to 7 pages long.

Tool demonstration papers should describe novel and state-of-the-art tools, related to model transformation. Submissions should consist of two parts. The first part, no more than 7 pages, should describe the tool presented (please include the URL of the tool if available). This part will be included in the proceedings. The second part, no more than 5 pages, should explain how the demonstration will be carried out, including screen dumps and examples. This part will not be included in the proceedings, but will be evaluated.

For more information, please refer to the submission & publishing information!

OrganizationPC Co-Chairs: Davide Di Ruscio, Università degli Studi dell’Aquila (Italy)
Dániel Varró, Budapest University of Technology and Economics (Hungary)
Web Chair: Philip Langer, Vienna University of Technology (Austria)

Steering Committee
Jean Bézivin, Industry Consultant on Software Modeling (France)
Jordi Cabot, INRIA research group at École des Mines de Nantes (France)
Martin Gogolla, University of Bremen (Germany)
Jeff Gray, University of Alabama (USA)
Zhenjiang Hu, National Institute of Informatics (Japan)
Juan de Lara, Universidad Autónoma de Madrid (Spain)
Richard Paige, University of York (UK)
Alfonso Pierantonio (Chair), University of L’Aquila (Italy)
Laurence Tratt, King’s College London (UK)
Antonio Vallecillo, University of Málaga (Spain)
Eelco Visser, Delft University of Technology (The Netherlands)
Programme Committee
Achim Brucker, SAP AG (Germany)
Jordi Cabot, INRIA-École des Mines de Nantes (France)
Antonio Cicchetti, Mälardalen University (Sweden)
Tony Clark, Middlesex University (UK)
Benoit Combemale, IRISA, Université de Rennes 1 (France)
Jesús Sánchez Cuadrado, Universidad Autónoma de Madrid (Spain)
Krzysztof Czarnecki, University of Waterloo (Canada)
Gregor Engels, University of Paderborn (Germany)
Holger Giese, Hasso Plattner Institute at the University of Potsdam (Germany)
Martin Gogolla, University of Bremen (Germany)
Jeff Gray, University of Alabama (USA)
Reiko Heckel, University of Leicester (UK)
Zhenjiang Hu, National Institute of Informatics (Japan)
Ludovico Iovino, University of L’Aquila (Italy)
Gerti Kappel, Vienna University of Technology (Austria)
Dimitris Kolovos, University of York (UK)
Thomas Kühne, Victoria University of Wellington (New Zealand)
Jochen Küster, IBM Research Zurich (Switzerland)
Ralf Lämmel, Universität Koblenz-Landau (Germany)
Juan De Lara, Universidad Autonoma de Madrid (Spain)
Tihamer Levendovszky, Vanderbilt University (USA)
Jesus Garcia-Molina, Universidad de Murcia (Spain)
Richard Paige, University of York (UK)
Dorina Petriu, Carleton University (Canada)
Marc Pantel, Université de Toulouse (France)
Alfonso Pierantonio, University of L’Aquila (Italy)
Istvan Rath, University of Technology and Economics (Hungary)
Bernhard Rumpe, RWTH Aachen University (Germany)
Houari Sahraoui, Université De Montréal (Canada)
Andy Schürr, TU Darmstadt (Germany)
Jim Steel, University of Queensland (Australia)
Perdita Stevens, University of Edinburgh (UK)
Markus Stumptner, University of South Australia (Australia)
Eugene Syriani, University of Alabama (USA)
Gabriele Taentzer, Philipps-Universität Marburg (Germany)
Massimo Tisi, INRIA-École des Mines de Nantes (France)
Laurence Tratt, King’s College London (UK)
Antonio Vallecillo, Universidad de Málaga (Spain)
Mark Van Den Brand, Eindhoven University of Technology (The Netherlands)
Pieter Van Gorp, Eindhoven University of Technology (The Netherlands)
Hans Vangheluwe, University of Antwerp (Belgium) and McGill University (Canada)
Gergely Varro, Technische Universität Darmstadt (Germany)
Janis Voigtländer, University of Bonn (Germany)
Edward Willink, Willink Transformations Ltd. (UK)
Manuel Wimmer, Vienna University of Technology (Austria)
Haiyan Zhao, Peking University (China)

Related Resources

ICMT 2017   10th International Conference on Model Transformation
ICMT 2017   2017 International Conference on Manufacturing Technologies (ICMT 2017)--SCOPUS, Ei
VPT 2017   Fifth International Workshop on Verification and Program Transformation
VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
CAV 2017   29th International Conference on Computer-Aided Verification
A-MOST 2017   Advances in Model-Based Software Testing
MODELSWARD 2017   5th International Conference on Model-Driven Engineering and Software Development
MEDI 2017   7th International Conference on Model and Data Engineering
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
ISEC 2017   Innovations in Software Engineering Conference