Call for Papers

MoDeVVa 2014
A satellite event of MODELS 2014

11th Workshop on Model Design, Verification and Validation
Integrating Verification and Validation in MDE

Valencia, Spain
September 28, 29 or 30th 2014

Models are purposeful abstractions of systems and of their environment. They can be applied at arbitrary abstraction levels for understanding complex systems, validating requirements, simulation or code generation. Thus, the usage of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. The shift from code or technical artifacts to software models is a key feature of MDE which opens promising perspectives for the formalization and the automation of verification and validation tasks, such as testing, consistency or refinement conformance checking. On the other hand, the growing complexity of models and of model transformations requires efficient techniques for V&V in the context of MDE. The 2014 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa) offers a forum for researchers and practitioners interested in V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V. This year, following the keynote presentation given by Marsha Chechik in the 2013 edition, we would like to put a special focus on modeling and reasoning in the presence of incompleteness, underspecification and the unknown.

Topics of MoDeVVa

The objective of MoDeVVa is to offer a forum for researchers and practitioners who are working on V&V and/or MDE. %The main goals of the workshop are to identify, discuss, %and elaborate mutual impacts of MDE and V&V. The major questions of interest in MoDeVVa concern the possible overlaps and mutual benefits of MDE and V&V: how can MDE improve V&V and how can V&V leverage the techniques around MDE? Does a model, meta-model, or model transformation express what the user wanted to express? Are these artifacts correct with respect to security, time, and other constraints? How to model such non-functional aspects? How can product-related artifacts like product lines be modeled and tested? How can models or modeling languages (meta-models) support V&V? 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 to source code via several model transformations?

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, e.g. V&V of (meta-)models, transformations, code generation, etc.
  • V&V at the level of the (meta-)model: techniques for validating a (meta-) model.
  • Impact analysis of model changes on V&V.
  • V&V techniques supporting refinement, abstraction, transformation, and structuring
  • Case studies and experience

For this eleventh edition of MoDeVVa, we would like to put an emphasis on modeling and reasoning in the presence of incompleteness, underspecification and the unknown. Therefore, we will favor papers on the above topics which try to address the following issues:

  • How to model the unknown?
  • How to verify incomplete models?
  • How to handle approximation (unknowns) versus abstraction (don't cares)?

Submissions and Publication

Submitted papers can be either short (up to 6 pages) or long papers (up to 10 pages) in LNCS format. Short papers are aimed at discussing innovative ideas while long papers are aimed at presenting more mature and evaluated research. All accepted papers will be published in the CEUR, which is indexed by DBLP.

Papers should be submitted via EasyChair:

Workshop Format

MoDeVVa 2014 will include paper presentations and discussions. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts ;) on MDE and V&V.

Important Dates

Submission: 11 July 2014 extended to 18 July 2014

Notification to authors: 22 August 2014

Final version: September 2014

Workshop: September 28, 29 or 30 ^^th^^ 2014

Organization Committee

  • Frédéric Boulanger (Supélec, France)
  • Michalis Famelis (University of Toronto, Canada)
  • Daniel Ratiu (Fortiss Research Institute, Germany)