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

Constraint : constraint_dsub_body

Constraint Name
constraint_dsub_body (type: ERROR, kind: )
Constraint Class
UnsubRespBodySpec
Package
unsubscribeResp
Description
The body element shall contains one and only one of these elements : UnsubscribeResponse, ResourceUnknownFault, UnableToDestroySubscriptionFault
OCL 
Bag{self.unsubscribeResponse.oclIsUndefined(), self.resourceUnknownFault.oclIsUndefined(), 
self.unableToDestroySubscriptionFault.oclIsUndefined()}->select(bol : Boolean | bol= false)->size()=1