[CEUR Workshop Proceedings] Vol-1068⫷ Vol-1069 ⫸Vol-1070
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 |