Validation OF UML/OCL models require that business stakeholders make sure that the designers “defined the right domain models” (instead, during verification we need TO make sure designers “defined the domain models right”).
Since it IS unlikely that stakeholders will be able TO directly READ AND understand the UML/OCL models, we need TO reexpress those models IN a LANGUAGE that they may understand. TO this END, we have developed a method that paraphrases UML/OCL class diagrams TO generate a description OF the model contents AND rules IN NATURAL LANGUAGE.