MoDeVVa 2013
Workshop on Model Driven Engineering, Verification and Validation

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