in the following diagram I have not reported the fact that the type : tip attribute of class3 is an enumeration that can take on two values ​​st or pt . My question is, is this representation okay if I have to consider that spec1 can be associated with class2 only if , class2 has an association with class3 and the type is pt?
is the class diagram ok? this constraint must be implemented followed by any triggers right?