Topics

We invite work related to the following topics:

Integration of model-based testing into the development process: experience reports, empirical evidence, life-cycle of test models.
The application of 'traditional' V&V to MDA: e.g. Using tools like model-checkers and the corresponding semantic formalisms to analyse the behaviour of models produced in MDA tool chains.
The integration of testing tools and MDA tools: e.g. automated regression testing of MDA tool chains.
The application of V&V to model transformations: e.g. formalizing and testing transformation behaviour with V&V tools and languages; formalizing traceability and impact analysis of elements through a transformation chain (e.g. test case generation).
The application of 'novel' V&V to MDA: e.g. creating models of specifications and requirements on MDA transformations and then using MDA to check them and ensure traceability from the requirements of the system.
V&V due to the evolution of models on any level: e.g. formalising and testing changes (state transition semantics) within a (meta-)model, including propagation to dependent levels and model merge.
The extension of UML in a tool-independent way to allow V&V: e.g. identifying which components of the UML standard are useful for V&V (e.g. statecharts, sequence diagrams), and proposing extensions to their syntax and/or semantics where their deficiencies hinder V&V.

Click here to read the MoDeVa 2006 Call for Papers. (pdf, 213kB)