MoDeVVa 2015 Call for Papers

MoDeVVa 2015

co-located with MODELS 2015

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

12th Workshop on Model Design, Verification and Validation

Integrating Verification and Validation in MDE

Ottawa, Canada

September 29th 2015

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 MDE improve V&V?

  • How can V&V leverage the techniques around MDE?

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 eleventh edition of MoDeVVa, we would like to put an emphasis on the verification and validation in context of the interaction between computers and the physical world typical realized in terms of cyber-physical systems (CPS). Therefore, we especially invite papers dealing with one of the following or

  • How can verification and validation be applied in the cross-disciplinary context of CPS?

  • How can we specify and prove properties that span across different heterogeneous models that belong to different engineering domains?

  • How to verify and validate heterogeneous model transformations for CPS?

  • What are appropriate ways for decomposing CPS models for the purpose of V&V?

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=modevva2015

MoDeVVa 2015 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

  • Michalis Famelis (University of Toronto, Canada)

  • Daniel Ratiu (Siemens AG, Munich, Germany)

  • Martina Seidl (Johannes Kepler University Linz, Austria)

  • Gehan Selim (Queen’s University, Canada)