posted by system || 1181 views || tracked by 4 users: [display]

MoDeVVa 2009 : 6th Workshop on Model Design, Verification and Validation

FacebookTwitterLinkedInGoogle

Link: http://www.modeva.org/2009
 
When Oct 4, 2009 - Oct 9, 2009
Where Denver, Colorado
Submission Deadline Jul 17, 2009
Notification Due Sep 4, 2009
Final Version Due Sep 15, 2009
Categories    software engineering   model-driven development   verification & validation
 

Call For Papers

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:
http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 .
Proceedings of the workshop will be published in the IEEE Digital Library.
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 (strict) : July 17, 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 **

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

Related Resources

ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
AREA 2020   Workshop on Agents and Robots for reliable Engineered Autonomy
ITEQS 2020   4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
STV 2020   13th IEEE Workshop on System Testing and Validation
MODELS 2020   Model Driven Engineering Languages and Systems
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
Scopus/EI-D2ME 2020   5th International Conference on Design, Mechanical and Material Engineering (D2ME 2020)
MODELSWARD 2021   9th International Conference on Model-Driven Engineering and Software Development
IMBSA 2020   7th International Symposium on Model-Based Safety and Assessment
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)