| Vol-1235 urn:nbn:de:0074-1235-4 Copyright © 2014 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.

# MoDeVVa 2014
Model-Driven Engineering, Verification and Validation

### Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation
co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014)

### Valencia, Spain, September 30, 2014.

Edited by

### Frédéric Boulanger, Supélec, France
Michalis Famelis, University of Toronto, Canada
Daniel Ratiu, Siemens Corporate Technology, Germany

## Table of Contents

- Language Workbenches: Opportunities and Challenges for V&V 1-1
  Markus Völter
- Assessing the Quality of Meta-models 3-12
  Jesús J. López Fernández, Esther Guerra, Juan De Lara
- Towards Scalable Multidimensional Execution Traces for xDSMLs 13-18
  Erwan Bousse, Benoit Combemale, Benoit Baudry
- Verifying Modelling Languages using Lightning: a Case Study 19-28
  Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey
- Scalable Verification of Model Transformations 29-38
  Xiaoliang Wang, Adrian Rutle, Yngve Lamo
- A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures 39-48
  Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée
- Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST 49-58
  Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt
- Towards a Base Model for UML and OCL Verification 59-68
  Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
- Bayesian Reasoning Over Models 69-78
  Sebastian Herzig, Christiaan Paredis
- Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications 79-88
  Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, index of authors and table of contents).

We offer a BibTeX file for citing papers of this workshop from LaTeX.

2014-09-10: submitted by Frédéric Boulanger
2014-09-11: published on CEUR-WS.org |valid HTML5|