Model-Driven Engineering, Verification, and Validation:
Integrating Verification and Validation in MDE
Models are purposeful abstractions of any artifact at an arbitrary abstraction level.
They have several advantages like, e.g., easy understanding of complex systems, requirements validation, and automatic code generation.
Thus, the usage of models is becoming more and more important for industrial applications.
Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models,
and model transformations - it is one of the most important representatives for the application of models.
The constant pace at which scientific and industrial development of MDE-related
techniques moves forward shows that MDE is still quickly changing and that new approaches and
corresponding issues arise frequently.
Most important, there is a crucial need for validation and verification (V&V) techniques in the context of MDE.
The other way round, MDE is used to support many V&V activities like, e.g., model-based testing.
The workshop on model-driven engineering, verification, and validation (MoDeVVa) in 2010
has the objective 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, discuss, and elaborate mutual impacts of MDE and V&V.
The major questions about MDE and V&V concern possible overlappings
and mutual benefits for both techniques:
How can MDE improve V&V and how can V&V leverage the techniques around MDE?
Are the artifacts correct with respect to security, time, and other constraints?
How to model such non-functional aspects or product lines?
What modeling languages or model transformations did perform best in real life applications (experience report)?
Can V&V support the whole software engineering process from initial (informal) requirements via several model transformations to source code?
We especially encourage the submission of papers on the most discussed topic in MoDeVVa 2009: the combination of model transformations and model-based testing.
In order to discuss these and further 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
Levi Lúcio, University of Luxembourg, Luxembourg
Elisangela Vieira, Alcatel Lucent, France
Stephan Weißleder, Fraunhofer FIRST, Germany
Pudelek (Marcin Szala) published the picture on the MoDeVVa banner at wikipedia. The picture is published using the GNU license 1.2 and creative commons by-sa. Details are listed here.