========================================================================<br>VOLT 2013<br>Co-located with ICST 2013<br><a href="http://www.hpi.uni-potsdam.de/giese/events/2013/volt/">http://www.hpi.uni-potsdam.de/giese/events/2013/volt/</a><br>
2nd Workshop on the Verification and Validation of Model Transformation<br><br>Luxembourg, Luxembourg<br>March 18, 2013<br>========================================================================<br><b>*** Call for Papers ***</b><br>
<br>Model transformations are everywhere in software development. They have been described as the “heart and soul of Model-Driven Development (MDD)”. It is generally accepted that MDD is a very promising means for raising the level of abstraction of current software development techniques, while making it more reliable, efficient, safe and cost-effective. Several experts have identified the verification of model transformations as one of the grand challenges of the domain. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools lack verification techniques to support such activities. <br>
<br>If we generically consider a model transformation as an algorithm describing specific model manipulations, then testing it or proving some of its properties can be envisaged. However, a model transformation performs particular computations where: (1) it typically operates on models, thus on data at a high-level of abstraction rich in semantics and (2) from a pragmatic point of view, often only the initial input and the final output is of interest and none of the intermediate steps matters. Moreover, a particular subject of interest is the fact that model transformations are used to perform specific computations in the context of MDD, such as model refinement, refactoring, translation, synthesis, simulation, or synchronization. In this sense, we feel that useful verification techniques for model transformations can and possibly should be specific to these activities. <br>
<br>The Second International Workshop on the Verification Of modeL Transformation (VOLT 2013) is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. VOLT 2013 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with ICST. VOLT’s interest spans both to academic and industrial practices. One of the goals of the forum is to collect enough industrial case studies so that those problems can be stated at a theoretical level. <br>
<br>In order to discuss these and further similar questions, we would like to invite submissions related to the following topics: <br>- Application of formal verification, theorem proving, model checking or testing to model transformation; <br>
- Verification techniques dedicated to model transformation; <br>- Taxonomies of techniques for model transformation verification; <br>- Properties relevant to specific model transformations; <br>- Verification of model transformations expressed in languages such as: ATL, QVT, TGG, VIATRA, Kermeta, Epsilon, etc. <br>
- Verification of domain-specific model transformations, in contrast to general-purpose transformations; <br>- Case studies and experience reports; <br>- Tools and automation. <br><b><br>*** Submission ***</b><br> <br>Submissions must follow the IEEE double column format. Authors may submit short (4 pages) or long papers (8 pages). Submissions have to be done through EasyChair <a href="https://www.easychair.org/conferences/?conf=volt2013">https://www.easychair.org/conferences/?conf=volt2013</a>. Accepted papers will be published in the IEEE Digital Library. <br>
<b><br>*** Workshop Format ***</b><br> <br>VOLT 2013 is a one-day workshop, divided into two parts: paper presentations (morning) and discussions in working groups (afternoon). <br><br><b>*** Important Dates ***</b><br> <br>
Submission: January 14, 2013 <br>Author notification: February 11, 2013 <br>Workshop: March 18, 2013 <br><b><br>*** Organization Committee ***</b><br><br>Moussa AMRANI, University of Luxembourg, Luxembourg<br>Leen LAMBERS, Hasso Plattner Institute, Germany<br>
Eugene SYRIANI, University of Alabama, USA<br><br><b>Program Committee</b><br><br><span style="font-family:tahoma,sans-serif">Márk ASZTALOS, Budapest University of Eco. Sc., Hungary<br>Didier BUCHS, University of Geneva, Swiss <br>
Marsha CHECHIK, University of Toronto, Canada <br>Antonio CICCHETTI, Malardalen University, Sweden <br>Jürgen DINGEL, Queen’s University, Canada <br>Franck FLEUREY, SINTEF, Norway<br>Holger GIESE, Postdam University, Germany <br>
Martin GOGOLLA, University of Bremen, Germany <br>Jeff GRAY, University of Alabama, USA <br>Frank HERMANN, University of Luxembourg, Luxembourg<br>Akram IDANI, Grenoble INP, France <br>
Yves LE TRAON, University of Luxembourg, Luxembourg <br>Tihamér LEVENDOVSKY, Vanderbilt University, USA <br>Levi LÚCIO, McGill University, Canada <br>Arend RENSINK, University of Twente, Netherlands<br>
Rick SALAY, University of Toronto, Canada <br>Gabriele TAENTZER, University of Marburg, Germany<br>Hans VANGHELUWE, University of Antwerp, Belgium <br> McGill University, Canada <br>
Stephan WEISSLEDER, Fraunhofer FIRST, Germany <br>Manuel WIMMER, TU Wien, Austria</span><br>