CFP 2nd Workshop on the Analysis of Model Transformations (AMT'13)
**********************************************************************
* Call For Papers for
* 2nd Workshop on the
* ANALYSIS OF MODEL TRANSFORMATIONS (AMT'13)
* http://msdl.cs.mcgill.ca/conferences/AMT/
* September 29, 2013
**********************************************************************
INTRODUCTION
To facilitate the processing and manipulation of models, a lot of
research has gone into developing languages, standards, and tools to
support model transformations. A quick search on the internet produces
more than 30 different transformation languages that have been
proposed in the literature or implemented in open-source or commercial
tools. The growing adoption of these languages and the growing size
and complexity of the model transformations developed require a better
understanding of how all activities in the model transformation life
cycle can be optimally supported.
Properties of an artifact created by a model transformation are
intimately linked to the model transformation that produced it. In
other words, to be able to guarantee certain properties of the
produced artifact, it may be very helpful, or even indispensable, to
also have knowledge of the producing transformation. As the use and
significance of modeling increase, the importance that the model
transformations produce models of sufficient quality and with
desirable properties increases as well; similarly, as the number and
complexity of model transformations grows, the importance that
transformations satisfy certain non-functional requirements and that
life cycle activities for model transformations such as development,
quality assurance, maintenance, and evolution are well supported also
grows.
OBJECTIVES AND SCOPE
The central objective of the workshop is to provide a forum for the
discussion and exchange of innovative ideas for the analysis of model
transformations, broadly construed. Analyses might support a variety
of model transformation activities including the development, quality
assurance, maintenance and evolution by facilitating, for instance,
- the detection of typing errors, anti-patterns, dead code,
transformation slices, likely invariants, or performance bottlenecks
- the informal, semi-formal, or formal establishment of properties
related to correctness or performance
- test suite evaluation through code coverage determination
- code completion and generation
- the evolution of metamodels
- impact analysis
- refactoring
Another objective of the workshop is to help clarify which
transformation analysis problems can be solved with the help of
existing analysis techniques and tools developed in the context of
general-purpose programming languages and source code transformation
languages, and which analysis problems require new approaches specific
to model transformations. The exchange of ideas between the modeling
community on the one hand and the programming languages community and
source code transformation community on the other hand thus is another
objective of the workshop.
TOPICS OF INTEREST
Include, but are not limited to:
- formal specification and verification of model transformations
- testing and test case generation for model transformations
- static analysis for model transformations such as control and data
flow analyses and slicing
- dynamic analysis for model transformations such as run-time monitoring
and profiling (to, e.g., determine code coverage, or detect requirements
violations or likely invariants)
- abstract interpretation for model transformations (to, e.g., support
optimization)
- metrics for model transformations (to support, e.g., anti-pattern
detection, refactoring and evolution)
- impact analysis model transformations (to support, e.g., maintenance)
- certification and incremental re-validation for model transformations
(e.g., for use in safety-critical systems)
- tools for analyzing model transformations
- (higher-order) transformation of transformation models to make them
amenable for analysis
- case studies for analyzing model transformations
MORE INFO
http://msdl.cs.mcgill.ca/conferences/AMT