Validate using OCL ()