Reply To: Constraints?

[Dan George]

Pages 141-146.

Examples are provided in both OCL and action language. I suppose the implication is that constraints can be stated in-line in the state procedures.

However, the class diagrams depict key word type constraints such as [code title=””]R5{equal, R1, R6}[/code] (Figure 8.21 on page 146) and then the meaning of equal is defined in both OCL and action language. Another implication is that placing the constraint in the class model and the compiler will apply it it. No need to express it anywhere else.