VOLT 2016

Home

Program

Call For Papers

Committees

Important Dates

Previous Editions

MoDELS 2016

Contacts


News

-- 28.09.2016 --
Proceedings are published.
-- 30.08.2016 --
Program is online!.
-- 01.04.2016 --
We relocated to MoDELS. Please notice the new submission dates.
-- 10.02.2016 --
VOLT 2016 website is online

Welcome!

VOLT 2016
Verification Of modeL Transformation


Model transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD. 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.

The Fifth International Workshop on the Verification Of modeL Transformation (VOLT 2016) 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 2016 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with MoDELS.

A significant part of the workshop includes a forum for discussing practical applications of model transformations and related problems. 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 regular papers, short papers (ongoing work, position statements), and demonstration papers (about 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

Organizers

Photo Credit

André Karwath published the picture on the VOLT banner at wikipedia. The picture is published using the creative commons BY-SA 2.5.