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

# VOLT 2015
Verification of Model Transformations

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

### L'Aquila, Italy, July 23, 2015.

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
- Analysis Techniques for Graph Transformation Systems 1
  Gabriele Taentzer
- Temporal Logic Specification and Analysis for Model Transformations 2-11
  Sobhan Yassipour Tehrani, Kevin Lano
- Verifying SimpleGT Transformations Using an Intermediate Verification Language 12-19
  Zheng Cheng, Rosemary Monahan, James Power
- UML and OCL Transformation Model Analysis: Checking Invariant Independence 20-27
  Martin Gogolla, Frank Hilken
- Verification of the CD2RDBMS Transformation Case in Flora-2 28-45
  Muzaffar Igamberdiev, Georg Grossmann, Markus Stumptner
- Model Transformation Semantic Analysis by Transformation 46-53
  Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani

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