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

Constraint : rmim001_2

Constraint Name
rmim001_2 (type: ERROR, kind: )
Constraint Class
ActSpec
Package
cdabasic
Description
The ids elements of Act SHALL be distinct (RMIM-001, RIM-002)
OCL
self.id->forAll(ii : II | 
	self.id->select(jj : II |
		jj.cdaEquals(ii)
	)->size()=1
)