CfP MoDeV˛a 2006: Perspectives on Integrating MDA and V&V

CfP MoDeV˛a 2006: Perspectives on Integrating MDA and V&V

From: Jörn Guy Süß <>
Date: Thu, 15 Jun 2006 12:08:29 +1000
Message-ID: <001301c69020$9d063220$>
[In case you prefer a different format, this call for papers is also
 in PDF format at ]


                                CALL FOR PAPERS

             MODEVA 2006: Perspectives on Integrating MDA and V&V

                              in conjunction with
                 the  ACM/IEEE 9th International Conference on
                Model Driven Engineering Languages and Systems
                   (formerly the UML series of conferences)
                                  MoDELS 2006


About the Workshop

MDA and its related approaches (DSL, MDE, ...) primarily revolve around
refinement and automated transformation of models.  This approach is
at quickly generating results.  However, it is difficult to gauge the
of those results.  Is the result of a transformation really what the user
intended?  Does the computed result of a transformation really conform with
specified result?  Such questions about intended and specified behaviour
usually delineate the domain of Validation and Verification (V&V).  V&V is
established area of research, and a transfer of ideas between V&V and MDA
help to improve quality and reliability of MDA and induce a new conceptual
of thinking in established V&V.  The emergence of model-based testing can be
seen as a first result of such a transfer.  However, we believe important
challenges in model-based testing still remain.  Moreover, it is crucial to
beyond model-based testing and take a truly model-driven-development
to V&V to reap even greater benefits.


We invite work related to the following topics:

 * Integrate model-based testing in the development process
   e.g. 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

 * 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
   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 insure 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
   (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.

Workshop Format

The workshop will be using the 1,2,3!-Format, giving space to present 12
grouped into four 90 minute sessions.  The sessions will be grouped by
possibly along the areas of interest outlined above.  Each session will be
headed by a panel comprised of the three presenters.  In this format, each
the three presenters has a fifteen minute block to present the main idea of
their paper.  Afterwards, the presenters stay up as panellists.  To prepare
the subsequent discussion, papers will be pre-distributed to all
by email.  The discussion should be between the audience and the panel.

Paper Format and Publication


Submissions should be in the form of short papers, not exceeding fifteen
describing complete work or work in progress.  Authors should use the
LNCS style and procedure (
papers will be published in a citeable volume of CEA.  Best papers will be
published in a special issue of SoSym, the Journal on Software and Systems

Important Dates
Paper submission due:     31 July 2006
Notification to authors:  14 August 2006
Organising Committee

Benoit Baudry    IRISA, Project Triskell (FR)
David Hearnden   The University of Queensland, School of ITEE (AU)
Nicolas Rapin    Commissariat a l'Energie Atomique (CEA), Centre de Saclay
Jorn Guy Suess   The University of Queensland, School of ITEE (AU)
Program Committee
   * David Akehurst
     The University of Kent (UK) 
   * Gabriela Arevalo
     Universitat Bern (CH) 
   * Thomas Baar
     l'Ecole Polytechnique Federale de Lausanne (CH)
   * Antonia Bertolino
     Istituto di Scienza e Tecnologie della Informazione "A. Faedo" (IT)
   * Fabrice Bouquet  
     l'Universite de Franche-Comte (FR)
   * Lionel C. Briand
     Carleton University (CA)
   * Alessandra Cavarra
     University of Oxford (UK)
   * Robert B. France
     Colorado State University (US) 
   * Pascale Le Gall
     University of Evry (FR) 
   * Martin Gogolla
     Universitat Bremen (DE) 
   * Antti Huima
     Conformiq (FI)
   * Bruno Legeard
     Leirios Technologies (FR)
   * Claudia Pons
     Universidad Nacional de La Plata (AG) 
   * Alexander Pretschner
     Eidgenossische Technische Hochschule Zurich (CH)
   * Kerry Raymond
     Queensland University of Technology (AU) 
   * Harry Robinson
     Google (US)
   * Bernhard Rumpe
     Technische Universitat Braunschweig (DE) 
   * Pierre-Yves Schobbens
     F. U. Notre-Dame de la Paix (BE) 
   * Jim Steel
     IRISA, Project Triskell (FR)
   * Paul Strooper
     The University of Queensland (AU) 
   * Mark Utting
     University of Waikato (NZ)
   * Daniel Varro
     Budapesti Muszaki es Gazdasagtudomanyi Egyetem (HU) 

Supported By
Le Commissariat a l'Energie Atomique
The University of Queensland, Australia
Received on Thu 15 Jun 2006 - 03:08:19 BST