UPDM — Section: 8.6.39.6 Constraints

SystemGroupMember should include all of System specializations

8.6.39.6 Constraints
[1] Asserts that there are zero or more System elements configured on the SystemGroup and that these are the elements associated with this association
let e1:uml::Class = self.oclAsType(uml::Association).endType-
>at(1).oclAsType(uml::Class) in
let e2:uml::Class = self.oclAsType(uml::Association).endType-
>at(2).oclAsType(uml::Class) in
(e1.getAppliedStereotype('UPDM::SystemGroup')->notEmpty() and
(e2.getAppliedStereotype('UPDM::System')->notEmpty() or
e2.getAppliedStereotypes()>collect(allParents())>any(qualifiedName = 'UPDM::System') ->notEmpty()) ))
or
(e2.getAppliedStereotype('UPDM::SystemGroup')->notEmpty() and
(e1.getAppliedStereotype('UPDM::System')->notEmpty() or
e2.getAppliedStereotypes()>collect(allParents())>any(qualifiedName = 'UPDM::System') ->notEmpty()) ))