VOLT 2013
Date: Jun 17, 2013 1:00 am – Jun 17, 2013 7:00 pm
Location: Budapest, Hungary
VOLT 2013
2nd Workshop on the Verification of Model Transformation
Co-located with STAF 2013
http://www.hpi.uni-potsdam.de/giese/events/2013/volt/
Budapest, Hungary
June 17, 2013
*** Call for Papers ***
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.
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.
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 STAF and in particular ICMT. 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.
In order to discuss these and further similar questions, we would like to invite submissions in the form of short papers on ongoing work, position statements, or novel tool features related to the following topics:
- Application of formal verification, theorem proving, model checking or testing to model transformation;
- Verification techniques dedicated to model transformation;
- Taxonomies of techniques for model transformation verification;
- Properties relevant to specific model transformations;
- Verification of model transformations expressed in languages such as: ATL, QVT, TGG, VIATRA, Kermeta, Epsilon, etc.
- Verification of domain-specific model transformations, in contrast to general-purpose transformations;
- Case studies and experience reports;
- Tools and automation.
*** Submission ***
Authors may submit papers up to 6 pages. The templates for the submissions will be available on the workshop website. Submissions have to be done through EasyChair https://www.easychair.org/conferences/?conf=volt2013.
A pre-workshop version of the papers will be available on the workshop website. The Journal of Object Technology (JOT) (http://www.jot.fm) has agreed to publish a special issue with selected extended versions of VOLT workshop papers. In particular, all authors of papers accepted to be presented at the workshop are invited to submit an extended version of their papers for this special issue after the workshop has taken place. The submitted extended versions are then subject of another review round to select the best ones to be published in JOT.
*** Workshop Format ***
VOLT 2013 is a one-day workshop, divided into two parts: paper presentations (morning) and discussions in working groups (afternoon).
*** Important Dates ***
Submission: April 12, 2013
Author notification: May 3, 2013
Final version: June 10, 2013
Workshop: June 17, 2013
*** Organization Committee ***
Moussa AMRANI, University of Luxembourg, Luxembourg
Leen LAMBERS, Hasso Plattner Institute, Germany
Eugene SYRIANI, University of Alabama, USA
Manuel WIMMER, Vienna University of Technology, Austria
*** Program Committee ***
Márk ASZTALOS, Budapest University of Eco. Sc., Hungary
Didier BUCHS, University of Geneva, Swiss
Marsha CHECHIK, University of Toronto, Canada
Antonio CICCHETTI, Malardalen University, Sweden
Jürgen DINGEL, Queen's University, Canada
Franck FLEUREY, SINTEF, Norway
Holger GIESE, Postdam University, Germany
Martin GOGOLLA, University of Bremen, Germany
Jeff GRAY, University of Alabama, USA
Frank HERMANN, University of Luxembourg, Luxembourg
Akram IDANI, Grenoble INP, France
Yves LE TRAON, University of Luxembourg, Luxembourg
Tihamér LEVENDOVSKY, Vanderbilt University, USA
Levi LÚCIO, McGill University, Canada
Arend RENSINK, University of Twente, Netherlands
Rick SALAY, University of Toronto, Canada
Gabriele TAENTZER, University of Marburg, Germany
Antonio VALLECILLO, University of Málaga, Spain
Hans VANGHELUWE, University of Antwerp, Belgium, McGill University, Canada
Stephan WEISSLEDER, Fraunhofer FIRST, Germany
Submitted by Anonymous
on
VOLT 2013
2nd Workshop on the Verification of Model Transformation
Co-located with STAF 2013
http://www.hpi.uni-potsdam.de/giese/events/2013/volt/
Budapest, Hungary
June 17, 2013
*** Call for Papers ***
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.
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.
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 STAF and in particular ICMT. 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.
In order to discuss these and further similar questions, we would like to invite submissions in the form of short papers on ongoing work, position statements, or novel tool features related to the following topics:
- Application of formal verification, theorem proving, model checking or testing to model transformation;
- Verification techniques dedicated to model transformation;
- Taxonomies of techniques for model transformation verification;
- Properties relevant to specific model transformations;
- Verification of model transformations expressed in languages such as: ATL, QVT, TGG, VIATRA, Kermeta, Epsilon, etc.
- Verification of domain-specific model transformations, in contrast to general-purpose transformations;
- Case studies and experience reports;
- Tools and automation.
*** Submission ***
Authors may submit papers up to 6 pages. The templates for the submissions will be available on the workshop website. Submissions have to be done through EasyChair https://www.easychair.org/conferences/?conf=volt2013.
A pre-workshop version of the papers will be available on the workshop website. The Journal of Object Technology (JOT) (http://www.jot.fm) has agreed to publish a special issue with selected extended versions of VOLT workshop papers. In particular, all authors of papers accepted to be presented at the workshop are invited to submit an extended version of their papers for this special issue after the workshop has taken place. The submitted extended versions are then subject of another review round to select the best ones to be published in JOT.
*** Workshop Format ***
VOLT 2013 is a one-day workshop, divided into two parts: paper presentations (morning) and discussions in working groups (afternoon).
*** Important Dates ***
Submission: April 12, 2013
Author notification: May 3, 2013
Final version: June 10, 2013
Workshop: June 17, 2013
*** Organization Committee ***
Moussa AMRANI, University of Luxembourg, Luxembourg
Leen LAMBERS, Hasso Plattner Institute, Germany
Eugene SYRIANI, University of Alabama, USA
Manuel WIMMER, Vienna University of Technology, Austria
*** Program Committee ***
Márk ASZTALOS, Budapest University of Eco. Sc., Hungary
Didier BUCHS, University of Geneva, Swiss
Marsha CHECHIK, University of Toronto, Canada
Antonio CICCHETTI, Malardalen University, Sweden
Jürgen DINGEL, Queen's University, Canada
Franck FLEUREY, SINTEF, Norway
Holger GIESE, Postdam University, Germany
Martin GOGOLLA, University of Bremen, Germany
Jeff GRAY, University of Alabama, USA
Frank HERMANN, University of Luxembourg, Luxembourg
Akram IDANI, Grenoble INP, France
Yves LE TRAON, University of Luxembourg, Luxembourg
Tihamér LEVENDOVSKY, Vanderbilt University, USA
Levi LÚCIO, McGill University, Canada
Arend RENSINK, University of Twente, Netherlands
Rick SALAY, University of Toronto, Canada
Gabriele TAENTZER, University of Marburg, Germany
Antonio VALLECILLO, University of Málaga, Spain
Hans VANGHELUWE, University of Antwerp, Belgium, McGill University, Canada
Stephan WEISSLEDER, Fraunhofer FIRST, Germany