Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation

Abstract

Models are purposeful abstractions. They are used to make complex systems easy to understand. Beyond their use as documentations, models can also be used for transformation or code generation. For instance, the formal foundation of models allows to generate large parts of systems. Thus, the usage of models, model transformations, and code generation is becoming more and more important for industrial applications. As one of the most important representatives for the application of models, Model-Driven Engineering (MDE) is a development methodology that is based on models, meta models, and model transformations. Currently there is a lot of tool support for models, (domain-specific) modeling languages, model transformations, and code generation. The constant pace at which scientific and industrial development of MDE-related techniques moves forward shows that MDE is quickly changing and that new approaches and corresponding issues arise frequently. Most important, there is crucial need for validation and verification (V&V) techniques in the context of MDE. The objective of the workshop on model-driven engineering, verification and validation (MoDeVVa) in 2009 was to offer a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop were to identify the mutual impact of MDE and V&V: How can MDE improve V&V and how can V&V leverage the techniques around MDE? This year we have had 21 submissions to MoDeVVa from 12 countries. In the review process, we chose 9 papers on mainly two topics: transformations and SUT verification. We have realized that transformations are currently a very quickly developing topic. They are very often used for attributing semantics to a model --- for simulation, testing, execution or model checking, The verification of the transformations themselves is a promising topic whose foundations are currently under development.