Detalles del ejemplo OCL

Este ejemplo, basado en un subconjunto del dominio Company/Employee, ilustra las prestaciones OCL que figuran en la siguiente tabla.
Prestación Ubicación en el modelo del ejemplo
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:
  • select, forAll
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

Comentarios