posted by user: eguerra || 309 views || tracked by 7 users: [display]

ICMT 2017 : 10th International Conference on Model Transformation

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Model Transformation
 
Link: http://www.model-transformation.org/
 
When Jul 17, 2017 - Jul 18, 2017
Where Marburg, Germany
Abstract Registration Due Feb 17, 2017
Submission Deadline Feb 24, 2017
Notification Due Apr 7, 2017
Final Version Due Apr 21, 2017
Categories    model-driven engineering   model transformation   code generation   automated software development
 

Call For Papers

Modeling is key in reducing the complexity of software systems during their development and maintenance. Model transformations elevate models from passive documentation to first-class artifacts of the development process, and play a key role in analyzing models to reveal flaws and in integrating heterogeneous data and tools.

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 model manipulation using general-purpose programming languages.

The study of model transformation includes foundations, structuring mechanisms and properties (e.g., modularity, composability, reusability, 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 and analysis mechanisms, 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. Model transformations have become artifacts that need to be managed in a structured way, resulting in developing methodology and tools to deal with versioning, (co-)evolution, etc. Correctness of model transformations has to be guaranteed as well.

--------
Topics
--------

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, functional
- textual, graphical
- model queries, pattern matching
- transformation by example/demonstration
- modularity, reusability, and composition
- comparison of transformation languages
- theoretical foundations correctness
Transformation algorithms and strategies:
- bidirectional transformation
- incremental transformation
- scalability and optimization
- higher-order transformation
- transformation chains
- non-functional aspects of transformations
Development of transformations:
- specification and design
- 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 Program Committee. Each paper will be reviewed by at least 3 committee members. Submissions should follow the LNCS format, be in PDF, and include the authors' names, affiliations and contact details.

We solicit papers in the following categories:
- Research papers (up to 15 pages).
- Industry / application papers (up to 15 pages).
- Exploratory papers (up to 10 pages).
- Tool demonstration papers (up to 5 pages).

All papers should be submitted electronically via EasyChair:
https://www.easychair.org/conferences/?conf=icmt-2017

--------
Publishing
--------

The conference proceedings will be published in the Springer Lecture Notes in Computer Science series. Moreover, a special issue with an extended version of the best papers from the conference will be published in the Elsevier journal "Science of Computer Programming" (http://www.journals.elsevier.com/science-of-computer-programming/).

--------
Organization
--------

PC Chairs
- Mark van de Brand, Eindhoven University of Technology (The Netherlands)
- Esther Guerra, Universidad Autónoma de Madrid (Spain)

Steering Committee
- Jordi Cabot, ICREA, Open University of Catalonia
- 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: icmt-2017@easychair.org
Twitter: @icmt2017

Related Resources

ICMT 2016   9th International Conference on Model Transformation
ICMT 2017   2017 International Conference on Manufacturing Technologies (ICMT 2017)--SCOPUS, Ei
ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
LOPSTR 2016   26th International Symposium on Logic-Based Program Synthesis and Transformation
VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
A-MOST 2017   Advances in Model-Based Software Testing
CAV 2017   29th International Conference on Computer-Aided Verification
VPT 2017   Fifth International Workshop on Verification and Program Transformation
MODELSWARD 2017   5th International Conference on Model-Driven Engineering and Software Development
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems