A verification and validation process for model-driven engineering

Model Driven Engineering practitioners already bene¦t from many well established veri¦cation tools, for Object Constraint Language (OCL), for instance. Recently, constraint satisfaction techniques have been brought to Model-Driven Engineering (MDE) and have shown promising results on model veri¦cation tasks. With all these tools, it becomes possible to provide users with formal support from early model design phases to model instantiation phases. In this paper, a selection of such tools and methods is presented, and an attempt is made to de¦ne a veri¦cation and validation process for model design and instance creation centered on UML (Uni¦ed Modeling Language) class diagrams and declarative constraints, and involving the selected tools. The suggested process is illustrated with a simple example.