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

Constraint : constraint_acceptack_acceptAckCodeValue

Constraint Name
constraint_acceptack_acceptAckCodeValue (type: ERROR, kind: )
Package
AcceptAcknowledgement
Description
Message.acceptAckCode is fixed to NE (don't ack an ack) (Section O.1.2: Send accept acknowledgement information model)
OCL
not self.acceptAckCode.oclIsUndefined()
and not self.acceptAckCode.code.oclIsUndefined()
and self.acceptAckCode.code='NE'