[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[m2m-dev] CFP: 2nd International Workshop on Model Transformation with ATL (MtATL 2010) @TOOLS 2010 Federated Conferences


2nd International Workshop on Model Transformation with ATL
			MtATL 2010

June 30, 2010
Málaga, Spain

Contact: mtatl2010@xxxxxxxxxxxxx
Website: http://www.emn.fr/z-info/atlanmod/index.php/MtATL2010

Colocated with ICMT 2010, TOOLS Europe 2010, SC 2010, TAP 2010


Model transformation is an essential operation in Model-Driven
Engineering. It may be used to generate lower-level code from higher-level
models, but its application scope has now gone beyond Model-Driven
Engineering. After the success of the 1st International Workshop on Model
Transformations with ATL (MtATL 2009), this 2nd event of the series aims
at showing new applications for model transformations, as well as at
improving the technology.
Although the experience of using ATL so far is very positive, ATL is an
evolving technology that is still a subject of research. Feedback from the
ATL users and researchers is crucial for identifying potential language
extensions and incorporating research results into the language. The
connection between the language designers and the language users
guarantees that ATL stays adequate to the real needs for model
transformations encountered in non-trivial industrial and academic
applications. We are interested in quality characteristics of ATL programs
such as expressivity, usability, scalability, maintainability,
performance. The main purpose of this workshop is to get together users
and researchers in the domain of model transformations both from the
academia and the industry in order to share experience.


Topics of interest to the workshop are typically about applying ATL model
transformations to new problems, and extending ATL with new features. They
notably include (but are not limited to) the following:
- Industrial applications of ATL
- ATL transformation performance and optimization
- Transformation modularity, reusability, and composition
- Higher-order and reflective transformations with ATL
- Alternative execution semantics
- Formalization of execution semantics
- ATL in the context of Semantic web (interoperability with OWL,
transformation of ontologies, interaction with OWL reasoning mechanism) -
Semantic bridges with tools for formal analysis (e.g., Petri nets tools,
Alloy, Maude, MatLab)
- Debugging, profiling, and testing of transformations
- Verification of transformations
- ATL language and/or tools extensions


Paper submission
	March 31st, 2010
Author notification
	May 17th, 2010
Camera-ready submission
	May 31st, 2010


Submissions may be either long (no longer than 15 pages), or short (no
longer than 5 pages), and formatted using the Springer LNCS format.
Accepted papers will be published on the CEUR Workshop Proceedings


- Marcos Didonet Del Fabro, IBM Software Group, France
- Frédéric Jouault, AtlanMod (INRIA & Ecole des Mines de Nantes), France -
Ivan Kurtev, University of Twente, Netherlands


Massimo Tisi, AtlanMod (INRIA & Ecole des Mines de Nantes), France