Constraint Descriptor : constraint_iti46updatenotification_iti46val001 (type: ERROR, kind: )

Constraint : constraint_iti46updatenotification_iti46val001

Constraint Name
constraint_iti46updatenotification_iti46val001 (type: ERROR, kind: )
Package
ITI46UpdateNotification
Description
otherIDs.id.root SHALL be identical to scopingOrganization.id.root
OCL
self.id->size() > 0
and not (self.scopingOrganization.oclIsUndefined())
and self.scopingOrganization.id->size() > 0
and self.id->forAll(ii : PRPAMT201302UV02OtherIDsId |
	not (ii.root.oclIsUndefined()) and
	self.scopingOrganization.id->select(ii2: II |
	not (ii.root = ii2.root))->size() = 0
)