MoDeVVa 2018

Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, metamodels, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens up promising opportunities for the verification and validation (V&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V&V techniques in the context of MDE.

The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, investigate, and discuss mutual impacts of MDE and V&V.

For the 2018 edition of the MoDeVVa workshop we would like to propose an emphasis on usability, user friendliness and approaches, tools and techniques that enable the applicability of V&V in MDE as well as the use of MDE in V&V activities. We would additionally like to invite submissions where machine learning is used as an enabler to ease the usage and applicability in practice of modeling and verification techniques.

Scope

Modeling is a powerful technique for handling the complexity of the design of software and hardware artifacts, and their respective environments. Model Driven Engineering (MDE) provides efficient tools for building and working with models, from the requirements specification of a system to its verification and validation (V&V). Through the systematic use of digital models, which can be processed automatically by programs, MDE offers the opportunity to validate every step in the life cycle a system. Thus, the first motivation for MoDeVVa is the integration of V&V techniques into MDE.

If MDE is seen as an enabler, claimed to provide benefits to the development process, and to V&V in particular, the usability of MDE tools and techniques applied to V&V processes must be addressed. This is particularly true in contexts such as hardware design or systems engineering where V&V tools and techniques are seldom tailored to the domain in question. We believe that MDE has the potential to improve the V&V process, whereas it is through the means of DSMLs for describing designs, systems, specifications or requirements, the use of model-transformations or other well-known MDE concepts and techniques.

Moreover, good models facilitate the development of increasingly complex systems. The complexity of such system models and their required processing is growing to the point where models and MDE tools are becoming complex systems themselves. It is therefore necessary to have efficient V&V techniques for models, too. Thus, the second motivation for MoDeVVa is the application of V&V techniques to MDE.

V&V tools and techniques often require arcane notations designed for lower-level languages and formalisms for both the input notations to the tools and their outputs. This hinders the applicability of such tools and techniques to MDE. Therefore, contributions that help closing the gap between such V&V tools and techniques and MDE and which increase their usability are needed to make V\&V applicable to MDE.

Both MDE and V&V intend to help solve real-world problems. Real-world problems and systems are complex. Both MDE and V&V propose approaches to tackle such complexity. Thus, the third motivation for MoDeVVa is the applicability of MDE and V&V to complex, real-world problems.

Improving the applicability of MDE and V&V to real-world problems requires appropriate tools and techniques that can be used by non-MDE and non-V&V experts. Hence contributions in the form of tools that facilitate the use of such techniques are highly desirable. This entails that topics such as user-friendliness, DSMLs and interfaces between modelling IDEs and verification backends are highly desirable.

Another field that aims to tackle complexity and deal with real-world problems is machine learning. Machine learning could thus be make used to help in overcoming the difficulties of applying modeling in practice. A few examples of such usages of machine learning can be for instance improving the usability and user-friendliness of modeling IDEs, taming the computational of complexity verification tasks, or even in assisting the construction of models. Therefore, this year we would additionally like to invite submissions on the intersection between machine learning, modeling and verification.

Objectives

The objective of the MoDeVVa workshop is to bring together researchers and practitioners in the domain of V&V and MDE so that the key V&V issues in MDE can be identified and solved. For instance, with respect to usability, V&V specialists can bring theoretical foundations and approaches that work best in specific cases. MDE specialists can identify common patterns in these V&V approaches and factorize them, making the concepts easier to understand and use in various contexts.

With this year's emphasis, we are looking to encourage researchers to address the usability shortcomings of V&V and MDE which limit their adoption. A further objective is to encourage researchers in V&V and MDE to reach to other fields such as machine learning to stimulate novel approaches to existing problems in these disciplines.

Topics of Interest

With the emphasis on usability and machine learning, papers addressing the following issues are particularly welcome:

  • Usability of V&V methods applied to MDE.

  • Usability of MDE in V&V tasks.

  • Tools and techniques that help making use of V&V easier and more applicable to real-world problems.

  • Tools and techniques that help reduce the semantic gap between V&V formalisms and MDE languages.

  • Approaches to hide V&V formalisms from MDE users.

  • Reducing the gap between V&V techniques and MDE.

  • Integration between modelling IDEs and formal verification backends.

  • V&V techniques that are invisible for the end-users who are not familiar with formal techniques (hidden models).

  • Using models to increase practicability of formal verification.

  • Machine learning as an enabler for modeling and verification techniques.

Other topics of interest in the broader areas at the intersection of MDE and V&V are welcome as well:

  • Integrating V&V approaches into MDE.

  • Defining V&V approaches that rely on MDE.

  • Modelling conformance relations for checking model refinement.

  • Modelling transformations and models used for V&V.

  • Application of the above topics to MDE, i.e., V&V of models, metamodels, and model transformations.

  • Application of the above topics to real-world case studies.

Organizers

  • Raquel Araújo de Oliveira (University of Toulouse III - Paul Sabatier & IRIT, France)

  • Levi Lúcio (fortiss, Germany)

  • Ernesto Posse (Zeligsoft, Canada)

  • Daniel Ratiu (Siemens AG, Germany)

  • Faiez Zalila (INRIA, France)

MoDeVVa Organizers email.