705x2b1s - CCSDS

CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMS2.2 ABSTRACT DATA TYPESlibraryPathID, ApidQualifier, CCSDSPacket, Boolean, Bit,NaturalNumber, SecondaryHeaderIndicator,OctetString, DataLossIndicatorendlib2.2.1 Service TypeThe Service type describes the two flavours of service available at the Path SAPs; Packet, wherethe user passes CCSDS Packets across the service interface and OctetString, where the userpasses a block of data across the service interface. The Packet service is referred to in theLOTOS as ‘UserFormatted’ to avoid confusion with other uses of the term ‘Packet’.type Service is Booleansorts Serviceopns UserFormatted : -> ServiceOctetString: -> Service_Ne_: Service, Service -> Bool_Eq_: Service, Service -> Booleqns forall S1, S2 : Serviceofsort BoolendtypeUserFormatted Eq UserFormattedUserFormatted Eq OctetStringOctetString Eq UserFormattedOctetString Eq OctetStringS1 Ne S2= True;= False;= False;= True;= Not (S1 Eq S2);CCSDS 705.2-B-1 Page 2-5 May 1994CCSDS HISTORICAL DOCUMENT