Report on the 3rd MoDeVa Workshop – Model Design and Validation

Abstract

Software systems are becoming increasingly large and complex, and run the risk of serious failures from unforeseen behaviour. Model driven development (MDD) is emerging as a solution with strong potential for dealing with these difficulties using models and model transformations. However, effective validiation and verification techniques are required to take full advantage of the expected benefits of MDD.

The MoDeVa (Model Design and Validation) series of workshop aims at bringing together researchers and practitioners to discuss links between MDD and model-based validation. This document summarizes the results of MoDeVa’06 that was the third edition of the workshop. Reviewing the workshop, the organisers feel that a community is forming which aims for practical integration of model-driven development and V&V and that specific research topics are being identified and addressed. As an illustration of this, it is important to notice that three papers this year were dedicated to V&V for model transformations. This trend may be due to increasing maturity and scale of use of MDD and thus to a better understanding of hard points and research challenges in this new approach for software development. There is recognition that specific solutions in this area are needed.