Detail

MoDeVVa’09 – 6th edition of the workshop on Model Engineering, Verification, and Validation

The objective of this workshop on model-driven engineering, verification and
validation (MoDeVVa) is to offer a forum for researchers and
practitioners who
are developing new approaches to V&V in the context of MDE. We recognize
three main intersections of V&V and MDE:
1. The V&V of model transformations, i.e., model transformation V&V: E.g.,
is the result of a transformation really what the user intended?
2. The V&V of the (meta-)models themselves, i.e., model V&V: E.g., is the
(meta-)model correct with respect to the expected security, time, and
structural
constraints?
3. The use of (meta-)models for V&V (of code or other models), i.e.,
model-based
V&V: E.g., what (meta-)models can be used for validation or for
verification?

Those problems have common issues and solutions, and each one has its own
objectives, issues, and (possibly) solutions. To discuss these problems,
we would
like to invite submissions related to the following topics:
– V&V techniques for MDE activities, e.g. V&V of (meta-)modelling, model
transformations, code generation, etc.
– V&V at the level of the (meta-)model: techniques for validating a (meta-)
model or generating test cases for (meta-)models, including simulation,
model checking,
model-based testing, etc.
– The application of MDE to validation, verification, and testing of source
code.
– Impact analysis of model changes on V&V, i.e.: What is the result of a
change in a (meta-)model on the previous results of V&V?
– Tools and automation.
– V&V techniques supporting refinement, abstraction, transformation, and
structuring.
– Case studies and experience reports.