| Vol-1514 urn:nbn:de:0074-1514-4 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.

# MoDeVVa 2015
Model-Driven Engineering, Verification and Validation

### Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

### Ottawa, Canada, September 29, 2015.

Edited by

### Michalis Famelis*
Daniel Ratiu**
Martina Seidl***
Gehan Selim****

* University of Toronto (Canada)
** Siemens AG (Germany)
*** Johannes Kepler University Linz (Austria)
**** Queen's University (Canada)

## Table of Contents

- Preface

- Active World Model for Testing Autonomous Systems Using CEFSM 1-10
  Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
- Towards Safe Model Transformation for Constraint-driven Modeling 11-17
  Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed
- Domain-Specific Model Checking for Cyber-Physical Systems 18-27
  Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
- Towards User-Friendly and Efficient Analysis with Alloy 28-37
  Xiaoliang Wang, Adrian Rutle, Yngve Lamo
- Merging Features in Featured Transition Systems 38-43
  Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
- Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses 44-47
  Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler

2015-11-17: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-17: published on CEUR-WS.org |valid HTML5|