![]() |
subject > programming language construct > statement > OCL statement > OCL statement in a class diagram |
![]() ![]() | |||
OCL statement in a class diagram comparison table |
Subject | state | specify | is a kind of |
---|---|---|---|
OCL statement | a logical fact (a constraint) about the system that must remain true | statement | |
OCL statement in a class diagram | the preconditions and postconditions of operations | what the values of attributes and associations must be | OCL statement |
Up: OCL statement