![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\nBasado en los materiales de la conferencia proporcionados, esta gu\u00eda cubre los conceptos fundamentales, la sintaxis y las aplicaciones pr\u00e1cticas del Lenguaje de Restricciones de Objetos (OCL) en el contexto de la modelizaci\u00f3n UML.<\/p>\n
<\/p>\n
Aunque los diagramas UML (como los diagramas de clases) son excelentes para visualizar la estructura, no pueden expresar todos los aspectos relevantes de una especificaci\u00f3n.<\/p>\n
Lenguaje natural<\/strong>\u00a0es ambiguo.<\/p>\n<\/li>\n Lenguajes formales tradicionales<\/strong>\u00a0son precisos pero demasiado dif\u00edciles para que los modeladores promedio de sistemas los lean y escriban.<\/p>\n<\/li>\n OCL<\/strong>\u00a0cierra esta brecha: es un\u00a0lenguaje formal<\/strong>\u00a0utilizado para expresar restricciones precisas, aunque sigue siendo\u00a0f\u00e1cil de leer y escribir<\/strong>.<\/p>\n<\/li>\n<\/ul>\n Lenguaje de expresiones puro:<\/strong>\u00a0Las expresiones no tienen efectos secundarios. Evaluar una expresi\u00f3n OCL devuelve un valor pero\u00a0no puede<\/em>\u00a0alterar el estado del sistema. Sin embargo, puede\u00a0describir<\/em>\u00a0un cambio de estado (por ejemplo, en una postcondici\u00f3n).<\/p>\n<\/li>\n No es un lenguaje de programaci\u00f3n:<\/strong>\u00a0No puedes escribir l\u00f3gica de programa, flujo de control ni invocar procesos\/operaciones que alteren el estado.<\/p>\n<\/li>\n Lenguaje tipado:<\/strong>\u00a0Toda expresi\u00f3n tiene un tipo. Las expresiones bien formadas deben obedecer las reglas de conformidad de tipos. Cada clasificador UML es un tipo OCL.<\/p>\n<\/li>\n Evaluaci\u00f3n instant\u00e1nea:<\/strong>\u00a0El estado de los objetos no puede cambiar\u00a0durante<\/em>\u00a0la evaluaci\u00f3n de una expresi\u00f3n OCL.<\/p>\n<\/li>\n<\/ol>\n Cada expresi\u00f3n de OCL se eval\u00faa en el contexto de un clasificador UML espec\u00edfico (clase, interfaz, etc.).<\/p>\n Comentarios:<\/strong>\u00a0Denotado por\u00a0 Operadores infijos:<\/strong>\u00a0Puedes usar operadores matem\u00e1ticos\/l\u00f3gicos est\u00e1ndar ( Utilice la notaci\u00f3n con punto para acceder a atributos u operaciones. Los par\u00e9ntesis son obligatorios para las operaciones, incluso si no tienen par\u00e1metros.<\/p>\n OCL incluye tipos est\u00e1ndar con operaciones espec\u00edficas:<\/p>\n Booleano:<\/strong>\u00a0 Entero \/ Real:<\/strong>\u00a0N\u00fameros (Operaciones:\u00a0 Cadena:<\/strong>\u00a0Texto (Operaciones:\u00a0 Las colecciones son tipos abstractos utilizados para almacenar m\u00faltiples elementos. Se acceden mediante la\u00a0 Conjunto:<\/strong>\u00a0Conjunto matem\u00e1tico (sin duplicados, desordenado).\u00a0 ConjuntoOrdenado:<\/strong>\u00a0Sin duplicados, pero ordenado por posici\u00f3n.\u00a0 Bolsa:<\/strong>\u00a0Permite duplicados, desordenado.\u00a0 Secuencia:<\/strong>\u00a0Permite duplicados, ordenado.\u00a0 Nota:<\/em>\u00a0La\u00a0 Comunes:<\/strong>\u00a0 Iteradores (Cruciales para OCL):<\/strong><\/p>\n Variaciones de sintaxis del iterador:<\/em><\/p>\n OCL se utiliza ampliamente como un lenguaje de navegaci\u00f3n para recorrer asociaciones.<\/p>\n Navegue utilizando el nombre del rol opuesto. El tipo de retorno depende de la multiplicidad:<\/p>\n Multiplicidad\u00a0 Multiplicidad\u00a0 Si falta el nombre de un rol, utilice el nombre en min\u00fasculas de la clase en el otro extremo (por ejemplo,\u00a0 Navegue hacia una clase de asociaci\u00f3n utilizando el nombre en min\u00fasculas de la clase de asociaci\u00f3n.<\/p>\n Cuando una asociaci\u00f3n vuelve sobre la misma clase (por ejemplo, matrimonio entre dos Personas), debe especificar la direcci\u00f3n utilizando corchetes\u00a0 Utilice los atributos calificadores entre corchetes para seleccionar un objeto espec\u00edfico.<\/p>\n Utilice\u00a0 Condiciones que deben\u00a0siempre<\/strong>\u00a0ser verdaderas para todas las instancias de una clase.<\/p>\n Restricciones vinculadas a operaciones.<\/p>\n Si una subexpresi\u00f3n no est\u00e1 definida (por ejemplo, navegar una asociaci\u00f3n nula), toda la expresi\u00f3n no est\u00e1 definida. Sin embargo, los operadores booleanos tienen excepciones de cortocircuito:<\/p>\nCaracter\u00edsticas principales de OCL<\/h3>\n
\n
\n2. Sintaxis y sem\u00e1ntica b\u00e1sicas<\/h2>\n
Contexto y Self<\/h3>\n
\n
contexto<\/code><\/strong>: Define la clase a la que se aplica la restricci\u00f3n.<\/p>\n<\/li>\nself<\/code><\/strong>: Una palabra reservada que hace referencia a la instancia espec\u00edfica de la clase de contexto que se est\u00e1 evaluando.<\/p>\n<\/li>\n<\/ul>\ncontexto Persona\r\n-- 'self' hace referencia a una instancia espec\u00edfica de Persona\r\n<\/code><\/pre>\nComentarios y operadores<\/h3>\n
\n
--<\/code>\u00a0(por ejemplo,\u00a0-- este es un comentario<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>). Conceptualmente,\u00a0a + b<\/code>\u00a0es id\u00e9ntico a\u00a0a.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\nAcceso a propiedades<\/h3>\n
contexto Persona\r\nself.edad -- Accede al atributo 'edad'\r\nself.precioAcciones() -- Llama a la operaci\u00f3n 'precioAcciones'\r\n<\/code><\/pre>\n
\n3. Tipos y colecciones<\/h2>\n
Tipos predefinidos b\u00e1sicos<\/h3>\n
\n
verdadero<\/code>,\u00a0falso<\/code>\u00a0(Operaciones:\u00a0y<\/code>,\u00a0o<\/code>,\u00a0no<\/code>,\u00a0implica<\/code>,\u00a0xor<\/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>\ntama\u00f1o<\/code>,\u00a0concat<\/code>,\u00a0subcadena<\/code>,\u00a0aEntero<\/code>)<\/p>\n<\/li>\n<\/ul>\nColecciones<\/h3>\n
-><\/code>\u00a0notaci\u00f3n.<\/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>\nSecuencia {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0La notaci\u00f3n crea una secuencia de enteros consecutivos:\u00a0Secuencia {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\nOperaciones clave de colecci\u00f3n<\/h3>\n
\n
tamano()<\/code>,\u00a0esVacio()<\/code>,\u00a0noEsVacio()<\/code>,\u00a0incluye(v)<\/code>,\u00a0excluye(v)<\/code>,\u00a0cuenta(v)<\/code>,\u00a0suma()<\/code>.<\/p>\n<\/li>\n\n
seleccionar(expresi\u00f3n)<\/code>: Devuelve los elementos donde\u00a0expr<\/code>\u00a0es verdadero.<\/p>\n<\/li>\nreject(expr)<\/code>: Devuelve los elementos donde\u00a0expr<\/code>\u00a0es falso.<\/p>\n<\/li>\ncollect(expr)<\/code>: Extrae una propiedad espec\u00edfica de todos los elementos en una nueva colecci\u00f3n.<\/p>\n<\/li>\nforAll(expr)<\/code>: Devuelve\u00a0verdadero<\/code>\u00a0si\u00a0expr<\/code>\u00a0es verdadero para\u00a0todos<\/em>\u00a0elementos.<\/p>\n<\/li>\nexists(expr)<\/code>: Devuelve\u00a0verdadero<\/code>\u00a0si\u00a0expr<\/code>\u00a0es verdadero para\u00a0al menos uno<\/em>\u00a0elemento.<\/p>\n<\/li>\niterate(elem; acc = init | expr)<\/code>: La base gen\u00e9rica para todos los iteradores.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(edad > 50)\r\nself.employee->select(p | p.edad > 50)\r\nself.employee->select(p: Persona | p.edad > 50)\r\n<\/code><\/pre>\n
\n4. Navegaci\u00f3n de modelos UML<\/h2>\n
Navegaci\u00f3n est\u00e1ndar<\/h3>\n
\n
1<\/code>\u00a0o\u00a00..1<\/code>:<\/strong>\u00a0Devuelve un objeto \u00fanico.<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0Devuelve un\u00a0Conjunto<\/code>\u00a0(o\u00a0ConjuntoOrdenado<\/code>\u00a0si est\u00e1 marcado\u00a0{ordenado}<\/code>).<\/p>\n<\/li>\n<\/ul>\ncontexto Empresa\r\nself.manager.edad > 40 -- manager es 0..1, devuelve un objeto Persona\r\nself.empleado->noVacio() -- employee es 0..*, devuelve un Conjunto\r\n<\/code><\/pre>\nself.banco<\/code>).<\/em><\/p>\nClases de asociaci\u00f3n<\/h3>\n
contexto Persona\r\nself.trabajo->tamano() >= 1 -- 'trabajo' es la clase de asociaci\u00f3n entre Persona y Empresa\r\n<\/code><\/pre>\nAsociaciones recursivas<\/h3>\n
[nombreRol]<\/code>.<\/p>\ncontexto Persona\r\nself.marriage[esposa]->select(m | m.terminado = false)->size() = 1\r\n<\/code><\/pre>\nAsociaciones calificadas<\/h3>\n
contexto Banco\r\nself.customer[12345] -- Devuelve la Persona espec\u00edfica con accountNo 12345\r\nself.customer -- Devuelve un Conjunto de todos los clientes\r\n<\/code><\/pre>\nRe-tipo (Casting)<\/h3>\n
oclAsType()<\/code>\u00a0para acceder a propiedades de un subtipo o a una propiedad oculta de la superclase.<\/p>\nself.oclAsType(Sub).p -- Accede a la propiedad 'p' definida en el subtipo\r\nself.oclAsType(Super).p -- Accede a la propiedad 'p' definida en la superclase\r\n<\/code><\/pre>\n
\n5. Escritura de restricciones<\/h2>\n
1. Invariantes (
inv<\/code>)<\/h3>\ncontexto Empresa \r\ninv: self.noEmployees <= 50\r\ninv PYME: self.stockPrice() > 0 -- 'PYME' es un nombre opcional para la restricci\u00f3n\r\n<\/code><\/pre>\n2. Precondiciones y poscondiciones (
pre<\/code>,\u00a0post<\/code>)<\/h3>\n\n
pre<\/code><\/strong>: Debe ser verdadero\u00a0antes<\/em>\u00a0de la ejecuci\u00f3n.<\/p>\n<\/li>\npost<\/code><\/strong>: Debe ser verdadero\u00a0despu\u00e9s<\/em>\u00a0ejecuci\u00f3n. Use\u00a0resultado<\/code>\u00a0para el valor de retorno.<\/p>\n<\/li>\n@pre<\/code><\/strong>: Utilizado en condiciones posteriores para referirse al valor de una propiedad\u00a0antes<\/em>\u00a0cuando comenz\u00f3 la operaci\u00f3n.<\/p>\n<\/li>\n<\/ul>\ncontexto Persona::ingreso(): Entero\r\npre adulto: self.edad >= 18\r\npost resultadoOK: resultado < 5000\r\n\r\ncontexto Empresa::contratarEmpleado(p: Persona)\r\npost: empleado = empleado@pre->incluyendo(p)\r\n<\/code><\/pre>\n3. Expresiones Body, Inicial y Derivada<\/h3>\n
\n
body<\/code><\/strong>: Define el resultado de una operaci\u00f3n de consulta (puede ser recursiva).<\/p>\n<\/li>\ninit<\/code><\/strong>: Define el valor inicial de un atributo.<\/p>\n<\/li>\nderive<\/code><\/strong>: Define un atributo derivado.<\/p>\n<\/li>\n<\/ul>\ncontexto Persona::ingreso(): Entero\r\nbody: self.trabajo.sueldo->sum()\r\n\r\ncontexto Persona::esCasado: Boolean\r\ninit: falso\r\n\r\ncontexto Empresa::numEmpleados: Entero\r\nderive: self.empleado->size()\r\n<\/code><\/pre>\n
\n6. Caracter\u00edsticas avanzadas de OCL<\/h2>\n
Expresiones Let y Def<\/h3>\n
\n
let<\/code><\/strong>: Define una variable local dentro de una sola expresi\u00f3n.<\/p>\nlet totHoras: Entero = self.trabajaEn->colectar(horas)->sum() en totHoras >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>: Define variables o operaciones reutilizables asociadas a un clasificador.<\/p>\ndef: tieneTitulo(t: Cadena): Booleano = self.trabajo->existe(titulo = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\nValores no definidos (l\u00f3gica de 3 valores)<\/h3>\n
\n
verdadero o <no definido><\/code>\u00a0=\u00a0verdadero<\/strong><\/p>\n<\/li>\n