An object deletion Message (messageSort equals deleteMessage) must end in a DestructionOccurrenceSpecification. Source OMG Systems Modeling Language (SysML) 1.6