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

Constraint : constraint_hpd_searchResponse_requestIDCard

Constraint Name
constraint_hpd_searchResponse_requestIDCard (type: ERROR, kind: )
Constraint Class
SearchResponseSpec
Package
searchResponse
Description
The Provider Information Query Response shall contain the requestID to associate the response to the Provider Information Query Request. (see section 3.58.4.2.2: Message Semantics)
OCL
not self.requestID.oclIsUndefined()