Object Oriented Software Engineering View all facts Glossary Help |
| 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