=Paper=
{{Paper
|id=Vol-1325/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1325/preface.pdf
|volume=Vol-1325
|dblpUrl=https://dblp.org/rec/conf/staf/AmraniSWBG0L14
}}
==None==
https://ceur-ws.org/Vol-1325/preface.pdf
I
Preface
With the raise of Model-Driven Engineering (Mde), model transformations are
more and more used as the automation technique in software engineering. After
more than a decade of maturation, Mde can nowadays leverage software devel-
opment within complex domains and for building large-scale systems, thanks to
the recent theoretical foundations and emerging tool support. In this respect, the
correctness of model transformations is one crucial requirement for the success of
Mde. Despite some recent advances in this field, the work on the Verification &
Validation (V&V) of model transformations still remains scattered, and a clear
perspective on the subject is still an ongoing process.
The International Workshop on Verification of Model Transformations (Volt)
is one of the most accurate venues to offer researchers a dedicated forum to clas-
sify, discuss, propose, and advance verification techniques dedicated to model
transformations. This third edition has been held as a half-day event of the Staf
(Software Technologies: Applications and Foundations) federation of conferences
on the July 21st , 2014 in York, U.K. Five contributions were accepted after a
rigorous review process, addressing various topics such as tool support for Ocl-
based verification of transformations, completeness of Triple Graph Grammars,
and language-independent verification of model transformations. The workshop’s
program consisted of the accepted papers presentation, keynotes shared with the
hosting conference federation, and one open session dedicated to discussions.
We would like to thank the STAF 2014 organization for giving us the oppor-
tunity to organize this workshop, especially to the workshops chairs, Barbara
Koenig (University of Duisburg-Essen, Germany), Yishai Feldman (Ibm Haifa,
Israel) and Dimitris Kolovos (University of York, U.K.), who were always very
helpful and supportive. Many thanks to all those that submitted papers, and
particularly to the presenters of the accepted papers. We also warmly thank the
many participants who contributed to the open discussions with their remarks
and experience. Last but not least, our thanks go to the reviewers and the mem-
bers of the Program Committee, for their timely and accurate reviews and for
their help in choosing and suggestions for improving the selected papers.
July 2014 Moussa Amrani
Eugene Syriani
Manuel Wimmer
II
Program Committee
Márk Asztalos Budapest University of Technology and Economics, Hungary
Dider Buchs University of Geneva, Switzerland
Antonio Cichetti Malardalen University in Vasteras, Sweden
Benot Combemale University of Rennes, France
Michalis Famelis University of Toronto, Canada
Holger Giese Hasso-Plattner-Institute, Germany
Martin Gogolla University of Bremen, Germany
Jeff Gray University of Alabama, USA
Esther Guerra Universidad Autónoma de Madrid, Spain
Frank Hermann University of Luxembourg, Luxembourg
Akram Idani Laboratoire d’Informatique de Grenoble, France
Marouane Kessentini University of Michigan, USA
Dimitrios S. Kolovos University of York, UK
Leen Lambers Hasso-Plattner-Institute, Germany
Kevin Lano King’s College London, UK
Tihamer Levendovszky Vanderbilt University School of Engineering, USA
Levi Lucio McGill University, Canada
Arend Rensink University of Twente, Netherlands
Rick Saley University of Toronto, Canada
Martina Seidl University of Linz, Austria
Antonio Vallecillo Universidad de Málaga, Spain
Hans Vanghelhuwe University of Antwerp, Belgium / McGill University, Canada
Dániel Varró Budapest University of Technology and Economics, Hungary