| 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:
|
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 |