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

Constraint : constraintSlot

Constraint Name
constraintSlot (type: ERROR, kind: )
Constraint Class
SlotPackageSpec
Package
rimihe
Description
the name of each slot shall be unique (IHE_ITI_TF V3, 4.2.3.1.6)
OCL 
self.slot->forAll(sl : SlotType1|
	sl.name.oclIsUndefined() or 
	self.slot->select(sl1 : SlotType1 | (not sl1.name.oclIsUndefined()) and sl1.name=sl.name)->size()=1
)