Validate efficiently large models using OCL rewriting techniques and optimized database query generation using the Mogwaï