![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\nCom base nos materiais de aula fornecidos, este guia aborda os conceitos fundamentais, a sintaxe e as aplica\u00e7\u00f5es pr\u00e1ticas da Linguagem de Restri\u00e7\u00e3o de Objetos (OCL) no contexto da modelagem UML.<\/p>\n
<\/p>\n
Embora os diagramas UML (como os diagramas de classes) sejam excelentes para visualizar estruturas, eles n\u00e3o conseguem expressar todos os aspectos relevantes de uma especifica\u00e7\u00e3o.<\/p>\n
Linguagem natural<\/strong>\u00a0\u00e9 amb\u00edgua.<\/p>\n<\/li>\n Linguagens formais tradicionais<\/strong>\u00a0s\u00e3o inequ\u00edvocas, mas muito dif\u00edceis de ler e escrever para modeladores m\u00e9dios de sistemas.<\/p>\n<\/li>\n OCL<\/strong>\u00a0fecha essa lacuna: \u00e9 uma\u00a0linguagem formal<\/strong>\u00a0usada para expressar restri\u00e7\u00f5es precisas, mas ainda permanece\u00a0f\u00e1cil de ler e escrever<\/strong>.<\/p>\n<\/li>\n<\/ul>\n Linguagem de Express\u00e3o Pura:<\/strong>\u00a0As express\u00f5es n\u00e3o t\u00eam efeitos colaterais. Avaliar uma express\u00e3o OCL retorna um valor, mas\u00a0n\u00e3o pode<\/em>\u00a0alterar o estado do sistema. No entanto, pode\u00a0descrever<\/em>\u00a0uma mudan\u00e7a de estado (por exemplo, em uma p\u00f3s-condi\u00e7\u00e3o).<\/p>\n<\/li>\n N\u00e3o \u00e9 uma Linguagem de Programa\u00e7\u00e3o:<\/strong>\u00a0Voc\u00ea n\u00e3o pode escrever l\u00f3gica de programa, fluxo de controle ou invocar processos\/operac\u00f5es que alterem o estado.<\/p>\n<\/li>\n Linguagem Tipada:<\/strong>\u00a0Toda express\u00e3o tem um tipo. As express\u00f5es bem formadas devem obedecer \u00e0s regras de conformidade de tipo. Todo classificador UML \u00e9 um tipo OCL.<\/p>\n<\/li>\n Avalia\u00e7\u00e3o Instant\u00e2nea:<\/strong>\u00a0O estado dos objetos n\u00e3o pode mudar\u00a0durante<\/em>\u00a0a avalia\u00e7\u00e3o de uma express\u00e3o OCL.<\/p>\n<\/li>\n<\/ol>\n Toda express\u00e3o OCL \u00e9 avaliada no contexto de um classificador UML espec\u00edfico (classe, interface, etc.).<\/p>\n Coment\u00e1rios:<\/strong>\u00a0Denotado por\u00a0 Operadores Infixos:<\/strong>\u00a0Voc\u00ea pode usar operadores matem\u00e1ticos\/l\u00f3gicos padr\u00e3o ( Use a nota\u00e7\u00e3o de ponto para acessar atributos ou opera\u00e7\u00f5es. Par\u00eanteses s\u00e3o obrigat\u00f3rios para opera\u00e7\u00f5es, mesmo que n\u00e3o tenham par\u00e2metros.<\/p>\n OCL inclui tipos padr\u00e3o com opera\u00e7\u00f5es espec\u00edficas:<\/p>\n Booleano:<\/strong>\u00a0 Inteiro \/ Real:<\/strong>\u00a0N\u00fameros (Opera\u00e7\u00f5es:\u00a0 String:<\/strong>\u00a0Texto (Opera\u00e7\u00f5es:\u00a0 Cole\u00e7\u00f5es s\u00e3o tipos abstratos usados para armazenar m\u00faltiplos elementos. S\u00e3o acessados usando o\u00a0 Conjunto:<\/strong>\u00a0Conjunto matem\u00e1tico (sem duplicatas, desordenado).\u00a0 ConjuntoOrdenado:<\/strong>\u00a0Sem duplicatas, mas ordenado pela posi\u00e7\u00e3o.\u00a0 Bolsa:<\/strong>\u00a0Permite duplicatas, n\u00e3o ordenado.\u00a0 Sequ\u00eancia:<\/strong>\u00a0Permite duplicatas, ordenado.\u00a0 Observa\u00e7\u00e3o:<\/em>\u00a0O\u00a0 Comuns:<\/strong>\u00a0 Iteradores (Cruciais para OCL):<\/strong><\/p>\n Varia\u00e7\u00f5es de sintaxe do iterador:<\/em><\/p>\n OCL \u00e9 amplamente utilizado como uma linguagem de navega\u00e7\u00e3o para percorrer associa\u00e7\u00f5es.<\/p>\n Navegue usando o nome do papel oposto. O tipo de retorno depende da multiplicidade:<\/p>\n Multiplicidade\u00a0 Multiplicidade\u00a0 Se um nome de papel estiver ausente, use o nome em min\u00fasculas da classe na outra extremidade (por exemplo,\u00a0 Navegue at\u00e9 uma classe de associa\u00e7\u00e3o usando o nome em min\u00fasculas da classe de associa\u00e7\u00e3o.<\/p>\n Quando uma associa\u00e7\u00e3o volta para a mesma classe (por exemplo, Casamento entre duas Pessoas), voc\u00ea deve especificar a dire\u00e7\u00e3o usando colchetes\u00a0 Use atributos qualificadores entre colchetes para selecionar um objeto espec\u00edfico.<\/p>\n Use\u00a0 Condi\u00e7\u00f5es que devem\u00a0sempre<\/strong>\u00a0ser verdadeiras para todas as inst\u00e2ncias de uma classe.<\/p>\n Restri\u00e7\u00f5es vinculadas a opera\u00e7\u00f5es.<\/p>\n Se uma sub-express\u00e3o \u00e9 indefinida (por exemplo, navegar uma associa\u00e7\u00e3o nula), toda a express\u00e3o \u00e9 indefinida. No entanto, os operadores booleanos t\u00eam exce\u00e7\u00f5es de curto-circuito:<\/p>\nCaracter\u00edsticas Principais do OCL<\/h3>\n
\n
\n2. Sintaxe e Sem\u00e2ntica B\u00e1sicas<\/h2>\n
Contexto e Self<\/h3>\n
\n
contexto<\/code><\/strong>: Define a classe \u00e0 qual a restri\u00e7\u00e3o se aplica.<\/p>\n<\/li>\nself<\/code><\/strong>: Uma palavra reservada que se refere \u00e0 inst\u00e2ncia espec\u00edfica da classe de contexto sendo avaliada.<\/p>\n<\/li>\n<\/ul>\ncontexto Pessoa\r\n-- 'self' se refere a uma inst\u00e2ncia espec\u00edfica de Pessoa\r\n<\/code><\/pre>\nComent\u00e1rios e Operadores<\/h3>\n
\n
--<\/code>\u00a0(por exemplo,\u00a0-- este \u00e9 um coment\u00e1rio<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>). Conceitualmente,\u00a0a + b<\/code>\u00a0\u00e9 id\u00eantico a\u00a0a.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\nAcessando Propriedades<\/h3>\n
contexto Pessoa\r\nself.idade -- Acessa o atributo 'idade'\r\nself.precoAcao() -- Chama a opera\u00e7\u00e3o 'precoAcao'\r\n<\/code><\/pre>\n
\n3. Tipos e Cole\u00e7\u00f5es<\/h2>\n
Tipos Pr\u00e9-definidos B\u00e1sicos<\/h3>\n
\n
verdadeiro<\/code>,\u00a0falso<\/code>\u00a0(Opera\u00e7\u00f5es:\u00a0e<\/code>,\u00a0ou<\/code>,\u00a0n\u00e3o<\/code>,\u00a0implica<\/code>,\u00a0ou exclusivo<\/code>)<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0*<\/code>,\u00a0\/<\/code>,\u00a0abs<\/code>,\u00a0max<\/code>,\u00a0min<\/code>,\u00a0div<\/code>,\u00a0mod<\/code>)<\/p>\n<\/li>\ntamanho<\/code>,\u00a0concat<\/code>,\u00a0substring<\/code>,\u00a0paraInteiro<\/code>)<\/p>\n<\/li>\n<\/ul>\nCole\u00e7\u00f5es<\/h3>\n
-><\/code>\u00a0nota\u00e7\u00e3o.<\/p>\n\n
Conjunto {1, 2, 5}<\/code><\/p>\n<\/li>\nConjuntoOrdenado {5, 4, 3}<\/code><\/p>\n<\/li>\nBolsa {1, 2, 2, 5}<\/code><\/p>\n<\/li>\nSequ\u00eancia {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0A nota\u00e7\u00e3o cria uma sequ\u00eancia de inteiros consecutivos:\u00a0Sequ\u00eancia {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\nOpera\u00e7\u00f5es Principais de Cole\u00e7\u00e3o<\/h3>\n
\n
tamanho()<\/code>,\u00a0estaVazio()<\/code>,\u00a0naoEstaVazio()<\/code>,\u00a0inclui(v)<\/code>,\u00a0exclui(v)<\/code>,\u00a0conta(v)<\/code>,\u00a0soma()<\/code>.<\/p>\n<\/li>\n\n
seleciona(expr)<\/code>: Retorna elementos onde\u00a0expr<\/code>\u00a0\u00e9 verdadeiro.<\/p>\n<\/li>\nreject(expr)<\/code>: Retorna elementos onde\u00a0expr<\/code>\u00a0\u00e9 falso.<\/p>\n<\/li>\ncollect(expr)<\/code>: Extrai uma propriedade espec\u00edfica de todos os elementos para uma nova cole\u00e7\u00e3o.<\/p>\n<\/li>\nforAll(expr)<\/code>: Retorna\u00a0verdadeiro<\/code>\u00a0se\u00a0expr<\/code>\u00a0\u00e9 verdadeiro para\u00a0todos<\/em>\u00a0elementos.<\/p>\n<\/li>\nexists(expr)<\/code>: Retorna\u00a0verdadeiro<\/code>\u00a0se\u00a0expr<\/code>\u00a0\u00e9 verdadeiro para\u00a0pelo menos um<\/em>\u00a0elemento.<\/p>\n<\/li>\niterate(elem; acc = init | expr)<\/code>: A base gen\u00e9rica para todos os iteradores.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(idade > 50)\r\nself.employee->select(p | p.idade > 50)\r\nself.employee->select(p: Pessoa | p.idade > 50)\r\n<\/code><\/pre>\n
\n4. Navegando em Modelos UML<\/h2>\n
Navega\u00e7\u00e3o Padr\u00e3o<\/h3>\n
\n
1<\/code>\u00a0ou\u00a00..1<\/code>:<\/strong>\u00a0Retorna um \u00fanico objeto.<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0Retorna um\u00a0Conjunto<\/code>\u00a0(ou\u00a0ConjuntoOrdenado<\/code>\u00a0se marcado\u00a0{ordenado}<\/code>).<\/p>\n<\/li>\n<\/ul>\ncontexto Empresa\r\nself.gerente.idade > 40 -- gerente \u00e9 0..1, retorna um objeto Pessoa\r\nself.funcionario->naoVazio() -- funcion\u00e1rio \u00e9 0..*, retorna um Conjunto\r\n<\/code><\/pre>\nself.banco<\/code>).<\/em><\/p>\nClasses de Associa\u00e7\u00e3o<\/h3>\n
contexto Pessoa\r\nself.trabalho->tamanho() >= 1 -- 'trabalho' \u00e9 a classe de associa\u00e7\u00e3o entre Pessoa e Empresa\r\n<\/code><\/pre>\nAssocia\u00e7\u00f5es Recursivas<\/h3>\n
[nomePapel]<\/code>.<\/p>\ncontexto Pessoa\r\nself.marriage[esposa]->select(m | m.terminado = false)->size() = 1\r\n<\/code><\/pre>\nAssocia\u00e7\u00f5es Qualificadas<\/h3>\n
contexto Banco\r\nself.cliente[12345] -- Retorna a Pessoa espec\u00edfica com accountNo 12345\r\nself.cliente -- Retorna um Conjunto de todos os clientes\r\n<\/code><\/pre>\nRe-tipagem (Casting)<\/h3>\n
oclAsType()<\/code>\u00a0para acessar propriedades de um subtipo ou uma propriedade oculta da superclasse.<\/p>\nself.oclAsType(Sub).p -- Acessa a propriedade 'p' definida no Subtipo\r\nself.oclAsType(Super).p -- Acessa a propriedade 'p' definida na Superclasse\r\n<\/code><\/pre>\n
\n5. Escrevendo Restri\u00e7\u00f5es<\/h2>\n
1. Invariantes (
inv<\/code>)<\/h3>\ncontexto Empresa \r\ninv: self.numeroFuncionarios <= 50\r\ninv PME: self.precoAcao() > 0 -- 'PME' \u00e9 um nome opcional para a restri\u00e7\u00e3o\r\n<\/code><\/pre>\n2. Pr\u00e9 e P\u00f3s-condi\u00e7\u00f5es (
pr\u00e9<\/code>,\u00a0p\u00f3s<\/code>)<\/h3>\n\n
pr\u00e9<\/code><\/strong>: Deve ser verdadeiro\u00a0antes<\/em>\u00a0da execu\u00e7\u00e3o.<\/p>\n<\/li>\np\u00f3s<\/code><\/strong>: Deve ser verdadeiro\u00a0depois<\/em>\u00a0execu\u00e7\u00e3o. Use\u00a0resultado<\/code>\u00a0para o valor de retorno.<\/p>\n<\/li>\n@pre<\/code><\/strong>: Usado em p\u00f3s-condi\u00e7\u00f5es para referenciar o valor de uma propriedade\u00a0antes<\/em>\u00a0a opera\u00e7\u00e3o come\u00e7ou.<\/p>\n<\/li>\n<\/ul>\ncontexto Pessoa::renda(): Inteiro\r\npr\u00e9 adulto: self.idade >= 18\r\np\u00f3s resultadoOK: resultado < 5000\r\n\r\ncontexto Empresa::contratarFuncionario(p: Pessoa)\r\np\u00f3s: funcionario = funcionario@pre->incluindo(p)\r\n<\/code><\/pre>\n3. Express\u00f5es Body, Inicial e Derivada<\/h3>\n
\n
body<\/code><\/strong>: Define o resultado de uma opera\u00e7\u00e3o de consulta (pode ser recursiva).<\/p>\n<\/li>\ninit<\/code><\/strong>: Define o valor inicial de um atributo.<\/p>\n<\/li>\nderive<\/code><\/strong>: Define um atributo derivado.<\/p>\n<\/li>\n<\/ul>\ncontexto Pessoa::renda(): Inteiro\r\nbody: self.trabalho.salario->soma()\r\n\r\ncontexto Pessoa::casado: Boolean\r\ninit: falso\r\n\r\ncontexto Empresa::numeroFuncionarios: Inteiro\r\nderive: self.funcionario->tamanho()\r\n<\/code><\/pre>\n
\n6. Recursos Avan\u00e7ados do OCL<\/h2>\n
Express\u00f5es Let e Def<\/h3>\n
\n
let<\/code><\/strong>: Define uma vari\u00e1vel local dentro de uma \u00fanica express\u00e3o.<\/p>\nlet totHoras: Inteiro = self.trabalhaEm->coletar(horas)->soma() em totHoras >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>: Define vari\u00e1veis ou opera\u00e7\u00f5es reutiliz\u00e1veis associadas a um classificador.<\/p>\ndef: temTitulo(t: String): Boolean = self.trabalho->existe(titulo = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\nValores Indefinidos (L\u00f3gica de 3 Valores)<\/h3>\n
\n
verdadeiro ou <indefinido><\/code>\u00a0=\u00a0verdadeiro<\/strong><\/p>\n<\/li>\n