Vol-1277
urn:nbn:de:0074-1277-5

Copyright © 2014 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

AMT 2014
Analysis of Model Transformations

Proceedings of the Workshop on Analysis of Model Transformations
co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014)

Valencia, Spain, September 29, 2014.

Edited by

Juergen Dingel *
Juan de Lara
Levi Lúcio *
Hans Vangheluwe ****

* Queens University (Canada)
** Universidad Autónoma de Madrid (Spain)
*** McGill University (Canada)
**** University of Antwerp (Belgium) and McGill University (Canada)

Complete workshop proceedings as one file.

Table of Contents

Preface

Session 1: Refactoring

Remodularizing Legacy Model Transformations with Automatic Clustering Techniques 4-13
Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe, Ralf Reussner

Session 2: Testing

Unit Testing of Model to Text Transformations 14-23
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
On Static and Dynamic Analysis of UML and OCL Transformation Models 24-33
Martin Gogolla, Lars Hamann, Frank Hilken
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation 34-43
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz

Session 3: Novel Approaches

Towards Approximate Model Transformations 44-53
Javier Troya, Manuel Wimmer, Loli Burgeño, Antonio Vallecillo
A Query Structured Approach for Model Transformation 54-63
Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum
Towards Verified Java Code Generation from Concurrent State Machines 64-69
Dan Zhang, Dragan Bošnački, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs

Session 4: Non-functional requirements

Towards Rigorously Faking Bidirectional Model Transformations 70-75
Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
Towards Analysing Non-Determinism in Bidirectional Transformations 76-85
Romina Eramo, Romeo Marinelli, Alfonso Pierantonio, Gianni Rosa

2014-10-23: submitted by Juan de Lara, metadata incl. bibliographic data published under Creative Commons CC0
2014-10-24: published on CEUR-WS.org |valid HTML5|