Call for Papers

MoDeVVa 2016

co-located with MODELS 2016

https://sites.google.com/site/modevva/

13th Workshop on Model Design, Verification and Validation

Integrating Verification and Validation in MDE

Saint-Malo, France

October 2016

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 automatic 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 (V&V) tasks. 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 objective of MoDeVVa is to offer a forum for researchers and practitioners who are working on V&V and/or MDE. The major questions of interest in MoDeVVa concern the possible overlaps and mutual benefits of MDE and V&V:

  • How can models-driven engineering improve V&V?

  • How can V&V leverage the techniques around models-driven engineering?

In this context, we would like to address the following topics:

  • Does a model, meta-model, or model transformation express what the user wanted to express?

  • How to model aspects such as timing, safety, security or usability?

  • 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

  • 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

For this edition of MoDeVVa, we would like to put an emphasis on making the V&V of MDE artifacts (e.g., models, metamodels, and model transformations) a well defined, systematic process. This includes modeling the V&V activities, investigating the synergies between them, and composing V&V activities to increase the confidence in the generated V&V results. Therefore, we especially invite papers that investigate one of the following questions:

  • What are the synergies between different (V&V) activities? Hence, can such activities be aligned as a workflow to systematize and enhance the V&V process?

  • How do different V&V approaches compare with each other with respect to different criteria (e.g., run-time, soundness, completeness)? Since testing is considered one of the most “user-friendly" V&V approaches, how do other approaches’ ease of use compare with that of testing?

  • How can V&V steps be fully automated? Steps of interest span those that have been traditionally conducted in a purely manual manner (e.g., model and code review), to those that have been semi-automated or require some level of user intervention (e.g., test case generation and the back annotation of formal verification results in intuitive languages).

Submitted papers can be either short (up to 6 pages) or long papers (up to 10 pages) in IEEE 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 Papers should be submitted via EasyChair:

https://www.easychair.org/conferences/?conf=modevva2016

MoDeVVa 2016 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.

Organization Committee email

  • Gehan Selim (Queen’s University, Canada)

  • Michalis Famelis (University of British Columbia, Canada)

  • Daniel Ratiu (Siemens AG, Munich, Germany)