In conjunction with MoDELS

2nd MoDeVa workshop - Model design and Validation




Important dates

Submission deadline: July 29, 2005
Deadline is extended to August 12, 2005

Notification of acceptance: September 2, 2005
Workshop day: October 3, 2005

Workshop Organizers

Benoit Baudry (INRIA, France)
Christophe Gaston (CEA/LIST, France)
Sudipto Ghosh (CSU, USA)

Program Committee

Anneliese Andrews (Washington State University, USA)
Benoit Baudry (IRISA - INRIA, France)
Robert France (Colorado State University, USA)
Sudipto Ghosh (Colorado State University, USA)

Christophe Gaston
(CEA/LIST, France)
Yves Le Traon (France Telecom R&D, France)
David Lugato (CEA/DAM, France)
Aditya Mathur (Purdue University, USA)
Amit Paradkar (IBM, USA)
Bernhard Rumpe (Braunshweig University, Germany)
Mark Ryan (University of Birmingham)
Pierre-Yves Schobbens (University of Namur, Belgium)

Previous edition

MoDeVa 2004 was associated to ISSRE'04

Design and validation methods appear to be more and more necessary in an industrial context. This fact is due to several factors. Software systems are more and more complex and cannot be understood by a stand-alone human without a proper standardisation. MDA(Model Driven Architecture) or more generally object/component oriented design methods have been defined in order to overcome a part of this problem. Moreover, systems large scale and complexity induce important risks of bugs or unpredicted behaviours resulting from interactions between subsystems. Formal methods have been intensively applied to evaluate reliability of systems. These methods generally require adequate specification and structuring languages to describe (a part of) the system under validation. For instance, modular first order languages are suitable for this purpose. One of the main problem encountered when trying to combine design and validation features, is that structuring languages suitable for one of the features are generally not suitable for the other. In this way, object-oriented paradigm is suitable for large scale system design, since it allows anthropomorphic design based on services exchanges of basic entities. However, this paradigm is not suitable (without restriction) for validation activities, since any enrichment of a system is likely to cause loss of global properties. In the opposite way, modular paradigm ensures properties preservation but the price to pay is an amount of design difficulties.

The MoDeVa (Model Design and Validation) workshop aims at being a forum for researchers and practitioners with varying backgrounds to discuss new ideas concerning links between model-based design and model-based validation. More precisely, topics of interest include design processes that support complex system modelling and formal or semi-formal refinement mechanisms. In the frame of validation methodology, model-based testing will be considered as "first-class-citizen" since testing is the primary used technique in the industrial context. Design methodologies including considerations on properties preservation (non-regression testing for example) will be appreciated. Languages to describe or validate models include UML and its MDE (Model Driven Engineering) and MDA aspects, algebraic languages, automata-based language, first order language, propositional languages... The considered design paradigm may be inherited from programming language field, like object oriented design, or more abstract, like component or feature based modelling.

Topics of interest

  • Validation techniques for MDE
  • Verification and Testing at the model level
  • Compositional approaches
  • Tools and automation
  • Validation and verification techniques supporting refinement, abstraction, and structuring
  • Case Studies and Experience Reports.


Submissions should not exceed 4 pages. A balanced selection of position and technical papers will be decided by the program committee. Submissions should be sent as PS or PDF file formats by email to organizers.


A published conference satellite report is being investigated by the organizers of Models. A summary of the workshop as well as the two best papers from the workshop would be integrated in this report.
This publication would be available at cost, and available on the registration form.