705x2b1s - CCSDS

CCSDS HISTORICAL DOCUMENT2.2.3 Relay InformationRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis ADT is part of the management information base for the Path protocol. At the moment thisis not the subject of CCSDS standardisation. The following description therefore represents aminimum set of data required to allow the Path protocol to function and should not constrainfuture implementations.type Relay is SubnetID, SNSAP, Booleansorts Relayopns MakeRelay : SubnetID, SNSAP, SNSAP -> RelayNULLRelay: -> RelayGetSubnetID: Relay -> SubnetIDGetSourceAddress : Relay -> SNSAPGetDestAddress : Relay -> SNSAP_Eq_, _Ne_: Relay, Relay -> Booleqns forall SSNSAP, DSNSAP : SNSAP, SID : SubnetID, R1, R2 : Relayendtypeofsort SubnetIDGetSubnetID(MakeRelay(SID, SSNSAP, DSNSAP)) = SID ;ofsort SNSAPGetSourceAddress(MakeRelay(SID, SSNSAP, DSNSAP)) = SSNSAP ;GetDestAddress(MakeRelay(SID, SSNSAP, DSNSAP)) = DSNSAP ;ofsort BoolNULLRelay Eq MakeRelay(SID, SSNSAP, DSNSAP) = False ;MakeRelay(SID, SSNSAP, DSNSAP) Eq NULLRelay = False ;NULLRelay Eq NULLRelay = True ;(R1 Ne NULLRelay) And (R2 Ne NULLRelay) =>R1 Eq R2 = (GetSubnetID(R1) Eq GetSubnetID(R2)) And(GetSourceAddress(R1) Eq GetSourceAddress(R2)) And(GetDestAddress(R1) Eq GetDestAddress(R2)) ;R1 Ne R2 = Not(R1 Eq R2) ;CCSDS 705.2-B-1 Page 2-7 May 1994CCSDS HISTORICAL DOCUMENT