In UML, most : expressions constraints guard conditions descriptions of behavior and pseudocode are written as opaque expressions. As opaque expressions are not automatically parsed, constraints in UML are not always strictly in Boolean form as shown in Fig. 6.7