Preface to the 18th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2021, Fukuoka, Japan)
Résumé
Preface : The 18thWorkshop on Model-Driven Engineering, Verification and Validation(MoDeVVa) was held in Fukuoka, Japan, co-located with the ACM/IEEE 24th International Conference on Model-Driven Engineering Languages and Systems (MODELS). 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, meta-models, 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 MoDeVVa workshop 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 topics at the intersection between MDE and V&V.