MoDeVVa 2012 workshop summary

The MoDeVVa workshop series is dedicated to the interaction between advancements in the field of Model-Driven Engineering (MDE) and in the field of Verification and Validation (V&V). During the eight previous editions, it became evident that this interaction works in both directions. On the one hand, the use of models facilitates the deployment of formal V&V tools and techniques by providing high-level abstractions of systems. Indicative of the research community's interest in MDE as a method for facilitating and popularizing formal methods for verification was the focus on MDE of the 12th International School on Formal Methods in Bertinoro, Italy in June 2012 [2]. On the other hand, the models and transformations in the context of MDE are becoming ever more complex, accentuating the need for formal V&V techniques to help manage this complexity. Growing academic maturity in this area is demonstrated by the establishment of new topic-specific workshops, such as VOLT'12, which is specificically oriented towards the challenges of the verification of model transformations, and was held in April 2012 in Montréal Canada [1].