=Paper=
{{Paper
|id=Vol-1530/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1530/preface.pdf
|volume=Vol-1530
}}
==None==
https://ceur-ws.org/Vol-1530/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 fourth edition has been held as a full-day event of the
Staf (Software Technologies: Applications and Foundations) federation of con-
ferences on the July 23rd , 2015 in L’Aquila, Italy. In this edition of VOLT, we
strongly encouraged the authors to tackle in their submissions three transforma-
tion verification challenges concerning: (i) a purely structural translation consist-
ing of the classical UML2RDMS transformation, (ii) an operational semantics of
a Domain-Specific Language allowing to play to the well-known PacMan game,
and (iii) a translational semantics providing executability of (a significant por-
tion of) Activity Diagrams in terms of Petri Nets. The metamodels, models, and
transformations as well as the properties to be specified and verified have been
provided by the organizers. Five contributions were accepted after a rigorous re-
view process, addressing these challenges by using different property languages as
well as verification technology such as OCL, Boogie, NuSMV, and Flora-2. The
workshop’s program consisted of the accepted papers presentation, a keynote by
Gabriele Taentzer on “Analysis Techniques for Graph Transformation Systems”,
and keynotes shared with the hosting conference federation.
We would like to thank the STAF 2015 organization for giving us the op-
portunity to organize this workshop, especially to the general chair of STAF
2015 Alfonso Pierantonio (Universita degli Studi dell’Aquila, Italy) and to the
workshops chairs Davide Di Ruscio (Universita degli Studi dell’Aquila, Italy)
and Pieter Van Gorp (Eindhoven University of Technology, The Netherlands),
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 Gabriele Taentzer for providing a very inspiring keynote talk
and the many participants who contributed to the open discussions with their
comments and experience. Last but not least, our thanks go to the reviewers and
the members of the Program Committee, for their timely and accurate reviews
and for their help in choosing and suggestions for improving the selected papers.
October 2015 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
Jordi Cabot INRIA-Ecole des Mines de Nantes, France
Marsha Chechik University of Toronto, Canada
Antonio Cichetti Malardalen University in Vasteras, Sweden
Juan De Lara Universidad Autonoma de Madrid, Spain
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
Reiko Heckel University of Leicester, UK
Frank Hermann University of Luxembourg, Luxembourg
Akos Horvath Budapest University of Technology and Economics, Hungary
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
Gabriele Taentzer Philipps-University Marburg, Germany
Javier Troya Vienna University of Technology, Austria
Antonio Vallecillo Universidad de Málaga, Spain
Hans Vanghelhuwe University of Antwerp, Belgium / McGill University, Canada