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

Constraint : rmim014_2

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