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

Constraint : rmim104_2

Constraint Name
rmim104_2 (type: ERROR, kind: )
Constraint Class
PlayingEntitySpec
Package
cdabasic
Description
The name elements of PlayingEntity SHALL be distinct (RMIM-104, RIM-023)
OCL
self.name->forAll(ii : PN | 
	self.name->select(jj : PN |
		jj.cdaEquals(ii)
	)->size()=1
)