MoDeVVa 2009
                 Co-located  with  MODELS  2009
                   http://www.modeva.org/2009

     6th Workshop on Model Design, Verification and Validation
       ** Integrating Verification and Validation in MDE **

                     Denver, Colorado, USA
                       October 4-9, 2009


** Call for papers **

Models are purposeful abstractions. They allow humans to understand complex systems. Beyond their use as documentations, models can also be used to generate artefacts. A formal foundation of models allows to generate large parts of systems from models. Thus, the usage of models, model transformations, and code generation is becoming more and more important for industrial applications. As one of the most important representatives for the application of models, Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. Currently there is a lot of tool support for models, (domain-specific) modelling languages, model transformations, and code generation. The constant pace at which scientific and industrial development of MDE-related techniques moves forward shows that MDE is quickly changing and that new approaches and corresponding issues arise frequently. Most important, there is crucial need for validation and verification (V&V) techniques in the context of MDE. 

The objective of the workshop on model-driven engineering, verification and validation (MoDeVVa) in 2009 is to offer a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify the mutual impact of MDE and V&V: How can MDE improve V&V and how can V&V leverage the techniques around MDE?

The major questions about MDE and V&V concern possible overlappings and mutual benefits for both techniques: Does a model, meta-model, or model transformation express what the user wanted to express? Are these artefacts correct with respect to security, time, and other constraints? Is even the result of concatenating several model transformations still correct? How can models or modelling languages (meta-models) support V&V, e.g. in model-based testing? What modelling languages or model transformations did perform best in reality (experience report)? Can V&V support the whole software engineering process from initial (informal) requirements via several model transformations to source code?
In order to discuss these and similar questions, we would like to invite submissions related to the following topics:

* V&V techniques for MDE activities, e.g. V&V for model2model or model2text transformations;
* V&V at the level of the models: techniques for validating a model or generating test cases from models, including simulation, model-checking, model-based testing, etc.;
* V&V at the level of metamodels: techniques for validating meta-models (languages) or for using meta-models to validate other artefacts;
* The application of MDE to validation, testing and verification;
* Impact analysis of (meta-)model changes on validation. What is the result of a change in a (meta-)model on the previous results of validation?
* V&V techniques supporting refinement, abstraction and structuring;
* Tools and automation;
* Case studies and experience reports.


** Submissions and Publication **

Submitted papers must not exceed 10 pages in the LNCS format. There will be an award for the best paper. The corresponding authors will receive it at the workshop. Furthermore, the two best papers will be published in the LNCS Satellite Event Proceedings of the MODELS conference.


** Workshop Format **

Beside the traditional presentation sessions, MoDeVVa 2009 will include a workshop where the members of the audience will be able to bring their opinions on the topics presented in the papers. We anticipate an enjoyable and exciting event where all participants will leave with answers (or at least better informed doubts ;-)) about their questions on MDE and V&V.


** Important Dates **

Submission : July 26, 2009
Notification to authors: September 4, 2009
Final version: September 15, 2009


** Program Committee **

Vasco Amaral (Universidade Nova de Lisboa, Lisbon)
Paul Ammann (George Mason University, USA)
Benoit Baudry (IRISA, France)
Fabrice Bouquet (University of Franche Comte, France)
Ruth Breu (Innsbruck University, Austria)
Didier Buchs (University of Geneva, Switzerland)
Gregor Engels (Universität Paderborn, Germany)
Sudipto Ghosh (Colorado State University, USA)
Martin Gogolla (Universität Bremen, Germany)
Mark Harman (King's College London, United Kingdom)
Rob Hierons (Brunel University, United Kingdom)
Jochen Kuester (IBM, Switzerland)
Yvan Labiche (Carlton University, Canada)
Bruno Legeard (Leirios Technologies, France)
Levi Lúcio (Geneva University, Switzerland)
Jeff Offutt (George Mason University, USA)
Alexander Pretschner (Fraunhofer IESE / TU Kaiserslautern, Germany)
Markus Roggenbach (University of Wales Swansea, United Kingdom)
Ina Schieferdecker (Fraunhofer FOKUS / TU Berlin, Germany)
Holger Schlingloff (Fraunhofer FIRST / HU Berlin, Germany)
Germán Vega (Laboratoire LSR, France)
Elisangela Vieira (Alcatel Lucent, France)
Stephan Weißleder (Fraunhofer FIRST / HU Berlin, Germany)


** Organization Committee **

Levi Lúcio (Geneva University, Switzerland)
Stephan Weißleder (Fraunhofer FIRST / HU Berlin, Germany)