VOLT 2016 - International Workshop on Verififcation of Model Transformations

Model transformations are everywhere in software development, implicitly or explicitly. They have been described in 2003 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. Model transformations became first-class citizens with the advent of MDD. Later, in 2005, several experts have identified the verification of model transformations as one of the grand challenges 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 most often lack verification techniques to support such activities. VOLT offers researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations and promotes discussions between theoreticians and practitioners from academy and industry.
Organizers:
Moussa Amrani (University of Namur, Belgium)
Eugene Syriani (University of Montreal, Canada)