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

Constraint : rmim077_4

Constraint Name
rmim077_4 (type: ERROR, kind: )
Constraint Class
AssignedAuthorSpec
Package
cdabasic
Description
The addr elements of AssignedAuthor SHALL be distinct (RMIM-077, RIM-017)
OCL
self.addr->forAll(ii : AD | 
	self.addr->select(jj : AD |
		jj.cdaEquals(ii)
	)->size()=1
)