ISO 8807-1989 信息处理系统开放系统互连LOTOS并基于暂时排序观察行为的形式描述技术

作者:标准资料网 时间:2024-05-12 16:25:55  浏览:9433   来源:标准资料网

【英文标准名称】:Informationprocessingsystems;opensystemsinterconnection;LOTOS;aformaldescriptiontechniquebasedonthetemporalorderingofobservationalbehaviour
【原文标准名称】:信息处理系统开放系统互连LOTOS并基于暂时排序观察行为的形式描述技术
【标准号】:ISO8807-1989
【标准状态】:现行
【国别】:国际
【发布日期】:1989-02
【实施或试行日期】:1989-02-15
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:网络互连;信息交流;开放系统互连;传播学;信息处理;信息交换;数据处理;控制规程;LOTOS;通信规程
【英文主题词】:Communication;Communicationprocedures;Controlprocedures;Dataprocessing;Informationexchange;Informationinterchange;Informationprocessing;LOTOS;Networkinterconnection;Opensystemsinterconnection;OSI
【摘要】:DefinesthesyntaxandsemanticsoftheFormalDescriptionTechniqueLOTOSusedfortheformaldescriptionofdistributed,concurrentinformationprocessingsystems.LOTOScanbeusedtodescribeformallytheservicedefinitionsandprotocolspecificationsofthelayersofOpenSystemsInterconnection(OSI)architecturedescribedinISO7498,andrelatedstandards,andconformancetestsforimplementationsofOSIprotocolsand/orOSIfunctions.Itcanalsobeappliedfortheformaldescriptionofotherdistributedsystems,suchastelephoneswitchingnetworks.References:ISO7498;CCITTRecommendationZ.100,SDL.
【中国标准分类号】:L79
【国际标准分类号】:35_060;35_100_01
【页数】:142P.;A4
【正文语种】:英语