A multiplicity on the composing end of a composite aggregation must not have an upper bound greater than 1. inv: isComposite and association <> null implies opposite.upperBound() <= 1
A multiplicity on the composing end of a composite aggregation must not have an upper bound greater than 1.
inv: isComposite and association <> null implies opposite.upperBound() <= 1