MoDeVVa Workshop Summary [chapter]

Levi Lúcio, Stephan Weißleder
2010 Lecture Notes in Computer Science  
The MoDeVVa workshop series is focused on model-driven engineering, verification, and validation. Models are purposeful abstractions. They are used as a means to abstract unnecessary artifacts and to make complex systems easy to understand. Beyond their use as documentations, models can also be used for transformation or code generation. A formal foundation of models with fixed semantics is necessary for the automatic processing of models. One application is the automatic generation of large
more » ... ts of systems. This automation can result in a decrease of system engineering costs. 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. There is already 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 verification and validation (V&V) techniques in the context of MDE. Likewise, V&V is very important in many domains (e.g. automotive or avionics) and the use of MDE techniques in the context of V&V is an interesting topic. One prominent representative of this approach is model-based testing. 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? Thus, we asked for submissions that target the areas -V&V techniques for MDE activities, e.g. V&V for model2model or model2text transformations -V&V at the level of the models: techniques for validating a model or generating test cases from models, including simulation, model-checking, modelbased testing, etc. -V&V at the level of metamodels: techniques for validating meta-models (languages) or for using meta-models to validate other artifacts -The application of MDE to validation, testing and verification
doi:10.1007/978-3-642-12261-3_15 fatcat:m4jmezy36bdpre2ujva3yblgwu