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|