Issue 11361: Section:  8.6.39.6 Constraints (updm-ftf)
Source: International Business Machines (Mr. Fred Mervine, fred(at)mervine.us)
Nature: Revision
Severity: Significant
Summary: 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()) ))

Resolution: 
Revised Text: 
Actions taken:
September 13, 2007: received issue
Discussion: 

End of Annotations:=====
me: Fred Mervine 
Company: IBM 
mailFrom: fmervine@us.ibm.com 
Notification: Yes 
Specification: UML Profile for the Department of Defense Architecture Framework and the Ministry of Defence Architecture Framework 
Section:  8.6.39.6 Constraints
FormalNumber: dtc/2007-08-02 
Version: Beta 1 
RevisionDate: 08/02/07 
Page: 224
Nature: Revision 
Severity: Significant 
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6 
Description 
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()) ))