Report on the Third Workshop on Verification of Model Transformations (VOLT 2014)
Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano · Research Portal (King's College London) · 2014
Abstract. This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 con-ference. The workshop brought together researchers from model-driven engineer-ing, in particular from model transformation language engineering and model-based verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques. 1