Detalhes da Amostra de OCL

Esse modelo de amostra, que é baseado em um subconjunto do domínio Empresa/Funcionário ilustra os recursos de OCL listados na tabela a seguir.
Recurso Local no modelo de amostra
Limitadores constantes EmployeeConstraints, PersonConstraints
Limitadores de condição prévia, pós-condição e condição do corpo de operação
  • Notação @pre nas pós-condições
  • Notação de resultado nas pós-condições e nas condições de corpo
CompanyConstraints, EmployeeConstraints, PersonConstraints
Expressões do agente iterativo:
  • selecionar, forAll
CompanyConstraints
Lançamento do tipo:
  • oclIsKindOf()
  • oclAsType()
CompanyConstraints, Stereotypes
Literais de enumeração de referência EmployeeConstraints
Navegação de associação EmployeeConstraints
Navegação de associação qualificada CompanyConstraints
Classes de associação
  • Navegação por meio da classe de associação
  • Navegação para a classe de associação a partir do final
  • Navegação da classe de associação para um final
CompanyConstraints, EmployeeConstraints
permitir expressões CompanyConstraints, PersonConstraints, Stereotypes
Expressões de mensagens que afirmam que uma mensagem foi enviada CompanyConstraints
Expressões de mensagem que repetem as mensagens enviadas PersonConstraints
Utilizando o OCL para limitadores em perfis de UML Stereotypes
Tipos de referência em outros pacotes Stereotypes
Expressões allInstances() Stereotypes
Expressões if-then-else-endif Stereotypes
Expressões de valor não especificadas PersonConstraints
Operação oclIsInState() CompanyConstraints
Limitadores de metamodelo ad hoc Diagrama de classes

Feedback