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|