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

Constraint : constraint_ITI45Query_iti45val014

Constraint Name
constraint_ITI45Query_iti45val014 (type: ERROR, kind: )
Constraint Class
ITI45QueryMessageSpec
Package
ITI45Query
Description
Message SHALL have just one [1..1] receiver and receiver SHALL have one [1..1] device
OCL
self.receiver->size()=1