Vol-1500
urn:nbn:de:0074-1500-6

Copyright © 2015 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.

AMT 2015
Analysis of Model Transformations

Proceedings of the 4th Workshop on the Analysis of Model Transformations
co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

Ottawa, Canada, September 28, 2015.

Edited by

Juergen Dingel *
Sahar Kokaly
Levi Lúcio *
Rick Salay
Hans Vangheluwe *

* Queen's University, Canada
** McMaster University, Canada
*** McGill University, Canada
**** University of Toronto, Canada
***** University of Antwerp, Belgium and McGill University, Canada

Table of Contents

Preface

Session 1: Iterative development

Iterative Development of Transformation Models by Using Classifying Terms 1-6
Frank Hilken, Loli Burgeño, Martin Gogolla, Antonio Vallecillo

Session 2: Reuse and Evolution

Transformation Reuse: What is the Intent? 7-15
Rick Salay, Steffen Zschaler, Marsha Chechik
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems 16-25
Bernhard Hoisl, Stefan Sobernig

Session 3: Verification

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report 26-35
Gehan M. K. Selim, James R. Cordy, Juergen Dingel, Levi Lúcio, Bentley J. Oakes
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations 36-45
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
Analysis of Source-to-Target Model Transformations in QueST 46-55
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum

Session 4: Novel approaches

A Diagrammatic Approach to Model Completion 56-65
Fazle Rabbi, Yngve Lamo, Ingrid Yu, Lars Kristensen

2015-11-04: submitted by Sahar Kokaly, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-05: published on CEUR-WS.org |valid HTML5|