| Vol-1325 urn:nbn:de:0074-1325-4 Copyright © 2014 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# VOLT 2014
Verification of Model Transformations

### Proceedings of the Third International Workshop on Verification of Model Transformations
co-located with Software Technologies: Applications and Foundations (STAF 2014)

### York, UK, July 21, 2014.

Edited by

### Moussa Amrani *
Eugene Syriani **
Manuel Wimmer ***

* PReCise Group, Faculty of Computer Science, University of Namur, Belgium
** Department of Computer Science and Operations Research, University of Montreal, Canada
*** Business Informatics Group, Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria

## Table of Contents

- Preface
- Report on the Third Workshop on Verification of Model Transformations (VOLT 2014) 1-9
  Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano
- MocOCL: A Model Checker for CTL-Extended OCL Specifications 10-15
  Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl
- Checking Transformation Model Properties with a UML and OCL Model Validator 16-25
  Martin Gogolla, Lars Hamann, Frank Hilken
- Null Considered Harmful (for Transformation Verification) 26-35
  Kevin Lano
- Language-Independent Model Transformation Verification 36-45
  Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark
- Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars 46-55
  Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel

2015-01-10: submitted by Manuel Wimmer, metadata incl. bibliographic data published under Creative Commons CC0
2015-01-10: published on CEUR-WS.org |valid HTML5|