| Vol-1069 urn:nbn:de:0074-1069-6 Copyright © 2013 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 2013
Workshop on Model Driven Engineering, Verification and Validation

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

### Miami, Florida, October 1st, 2013.

Edited by

### Frédéric Boulanger, Supélec - E3S, France
Michalis Famelis, University of Toronto, Canada
Daniel Ratiu, fortiss GmbH, Germany

## Table of Contents

1. Preface
   Frédéric Boulanger, Michalis Famelis, Daniel Ratiu
2. Abstract of the Keynote: Partial Behavior Modeling
   Marsha Chechik
3. A Framework for Testing UML Activities Based on fUML 1-10
   Stefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel
4. Building Test Harness From Service-based Component Models 11-20
   Pascal André, Jean-Marie Mottu, Gilles Ardourel
5. Feature-based Development of State Transition Diagrams with Property Preservation 21-30
   Christian Prehofer
6. Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines 31-40
   Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
7. Applying Model Transformation and Event-B for Specifying an Industrial DSL 41-50
   Ulyana Tikhonova, Maarten Manders, Mark Van Den Brand, Suzana Andova, Tom Verhoeff
8. Ensuring OSGi Component Based Properties at Runtime with Behavioral Types 51-60
   Jan Olaf Blech
9. Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems 61-66
   Nico Nachtigall, Benjamin Braatz, Thomas Engel
10. Research Questions for Validation and Verification in the Context of Model-Based Engineering 67-76
    Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nobrega, Ileana Ober, Martina Seidl, Markus Völter
11. An Approach to Analyzing Temporal Properties in UML Class Models 77-86
    Mustafa Al Lail, Ramadan Abdunabi, Robert France, Indrakshi Ray

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

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

2013-10-28: submitted by Frédéric Boulanger
2013-10-29: published on CEUR-WS.org |valid HTML5|