Table 7 - Overview of places in a model where an OCL expression may be used
Related UML metaclasses | Function of expression | Concrete syntax defined in OCL 2.0 submission |
Attribute | inital value | X |
Attribute | derivation rule | X |
AssociationEnd | inital value | X |
AssociationEnd | derivation rule | X |
Classifier | invariant | X |
Classifier Attribute | definition of new attribute | X |
Classifier Operation | definition of new operation | X |
Operation | precondition | X |
Operation | postcondition | X |
Operation | body expression | X |
AssociationEnd | value of multiplicity | |
Guard | specification of condition | |
Message | specification of source | |
Message | specification of target | |
Message | specification of condition | |
Message | actual parameter value | |
Action | specification of target | |
Action | actual parameter value | |
Change Event | condition | |
Use Case | precondition | |
Use Case | postcondition |