| Restricciones invariantes |
EmployeeConstraints, PersonConstraints |
Restricciones de condición de cuerpo, poscondición y precondición de una operación - @pre notación en poscondiciones
- Notación de resultado en las condiciones de cuerpo y en las poscondiciones
|
CompanyConstraints, EmployeeConstraints, PersonConstraints |
| Expresiones de iterador:
|
CompanyConstraints |
Conversión temporal de tipo:- oclIsKindOf()
- oclAsType()
|
CompanyConstraints, Estereotipos |
| Literales de enumeración que hacen referencia |
EmployeeConstraints |
| Navegación de asociación |
EmployeeConstraints |
| Navegación de asociación calificada |
CompanyConstraints |
Clases de asociación- Navegación por la clase de asociación
- Navegación hacia la clase de asociación desde uno de los extremos
- Navegación desde la clase de asociación hacia un extremo
|
CompanyConstraints, EmployeeConstraints |
| Expresiones de let |
CompanyConstraints, PersonConstraints, Estereotipos |
| Expresiones de mensaje que afirman que un mensaje ha sido enviado |
CompanyConstraints |
| Expresiones de mensaje que iteran por los mensajes enviados |
PersonConstraints |
| Utilizar OCL para las restricciones en los perfiles UML |
Estereotipos |
| Hacer referencia a tipos en otros paquetes |
Estereotipos |
| Expresiones de allInstances() |
Estereotipos |
| Expresiones de if-then-else-endif |
Estereotipos |
| Expresiones de valor no especificado |
PersonConstraints |
| Operación oclIsInState() |
CompanyConstraints |
| Restricciones de metamodelo ad hoc |
Diagrama de clases |