Você pode verificar seus modelos e diagramas UML para garantir que eles atendam às restrições definidas pela UML. Também pode verificar a conformidade
com restrições definidas por você ou fornecidas por outros
aplicativos.
Validando Modelos e Diagramas UML A qualquer momento durante a construção de um modelo ou diagrama UML, você pode verificar se ela está em conformidade com as restrições definidas
e assegurar que não existam referências interrompidas de modelo cruzado.
Validando Restrições OCL nos Modelos UML Nos modelos
UML, você pode validar a sintaze de uma restrição que foi definida usando Object Constraint Language (OCL). Também pode expressar o conteúdo de uma restrição utilizando um idioma natural,
como inglês, uma linguagem de programação ou uma notação matemática.
Para mais informações sobre OCL, leia a especificação Unified
Modeling Language (UML) disponível no Web site Object Management
Group (OMG).