705x2b1s - CCSDS

CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSprocess TerminationsGenerator [next, pkt, oct, ldp] : noexit :=(next ? Path : PathID? Termination : Endpoint ;(hide losepacket in(PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,create,OSDUNotLost)|[ldp]|TerminationsGenerator [next, pkt, oct, ldp])))whereprocess PathTerminator [pkt, oct, ldp, losepacket](Termination : EndPoint,Path : PathID,Queue : PacketQueue,LossFlag : DataLossIndicator) : noexit :=((ldp ? Packet : CCSDSPacket ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,AddBack(Packet, Queue),LossFlag))[][Queue Ne Create] ->([Service(Termination) Eq OctetString] ->([DataLossFlag(Termination) Eq False] ->((oct ! Path! Path! SHFToSH(GetSHF(GetPrimaryHeader(First(Queue))))! GetUserData(First(Queue)) ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),LossFlag))[](losepacket ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),LossFlag)))[]CCSDS 705.2-B-1 Page 3-10 May 1994CCSDS HISTORICAL DOCUMENT