[CEUR Workshop Proceedings] Vol-1069

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 fUML1-10
    Stefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel
  4. Building Test Harness From Service-based Component Models11-20
    Pascal André, Jean-Marie Mottu, Gilles Ardourel
  5. Feature-based Development of State Transition Diagrams with Property Preservation21-30
    Christian Prehofer
  6. Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines31-40
    Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
  7. Applying Model Transformation and Event-B for Specifying an Industrial DSL41-50
    Ulyana Tikhonova, Maarten Manders, Mark Van Den Brand, Suzana Andova, Tom Verhoeff
  8. Ensuring OSGi Component Based Properties at Runtime with Behavioral Types51-60
    Jan Olaf Blech
  9. Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems61-66
    Nico Nachtigall, Benjamin Braatz, Thomas Engel
  10. Research Questions for Validation and Verification in the Context of Model-Based Engineering67-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 Models77-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|