首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 CAN/CSA Z243.101-89(R2018)
到馆提醒
收藏跟踪
购买正版
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (Adopted ISO 8807:1989) 信息处理系统开放系统互连LOTOS基于观测行为时间顺序的形式化描述技术
发布日期: 1989-04-01
本国际标准定义了形式化描述技术LOTOS的语法和语义。LOTOS通常用于分布式并发信息处理系统的形式化描述。具体而言,LOTO可用于正式描述ISO 7498中描述的开放系统互连(OSI)体系结构各层的服务定义和协议规范,以及相关标准,以及OSI协议和/或OSI功能实现的一致性测试。它还可以应用于其他分布式系统的形式化描述,如电话交换网络。
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of distributed, concurrent information processing systems. In particular LOTOS can be used to describe formally the service definitions and protocol specifications of the layers of Open Systems Interconnection (OSI) architecture described in ISO 7498, and related standards, and conformance tests for implementations of OSI protocols and/or OSI functions. It can also be applied for the formal description of other distributed systems, such as telephone switching networks.
分类信息
发布单位或类别: -
关联关系
研制信息
相似标准/计划/法规
现行
BS ISO/IEC TR 11590-1995
Information technology. Open systems interconnection. LOTOS description of the CCR protocol
信息技术 开放系统互连 CCR协议的LOTOS描述
1996-01-15
现行
BS ISO/IEC TR 11589-1995
Information technology. Open systems interconnection. LOTOS description of the CCR service
信息技术 开放系统互连 CCR服务的LOTOS描述
1996-01-15
现行
ISO 8807-1989
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
信息处理系统.开放系统互连.LOTOS.基于观测行为的时间顺序的形式描述技术
1989-02-09
现行
ISO 8807-1989
Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
信息处理系统——开放系统互连——洛托斯——基于观测行为时序的形式化描述技术
1989-02-09
现行
GOST R ISO/TR 8509-1995
Системы обработки информации. Взаимосвязь открытых систем. Соглашения по услугам
信息处理系统 开放系统互连 服务公约
现行
GOST 28906-1991
Системы обработки информации. Взаимосвязь открытых систем. Базовая эталонная модель
信息处理系统 开放系统互连 基本参考模型
现行
GB/T 15274-1994
信息处理系统 开放系统互连 网络层的内部组织结构
Information processing systems--Open systems interconnection--Internal organization of the network layer
1994-12-07
现行
ISO 8648-1988
Information processing systems — Open Systems Interconnection — Internal organization of the Network Layer
信息处理系统——开放系统互连——网络层的内部组织
1988-02-04
现行
KS X 4001(2017 Confirm)
개방형 시스템간 상호 접속 - 커넥션형 프리젠테이션 서비스 정의
信息处理系统 开放系统互连 面向连接的表示服务定义
2002-06-07
现行
KS X 4001(2022 Confirm)
개방형 시스템간 상호 접속 - 커넥션형 프리젠테이션 서비스 정의
信息处理系统开放系统互连面向连接的表示服务定义
2002-06-07
现行
KS X 4004-1(2023 Confirm)
정보처리시스템-개방형 시스템 간 상호 접속-접속형 프리젠테이션 프로토콜 시방
信息处理系统开放系统互连面向连接表示协议规范
2008-12-16
现行
KS X 4004-1(2018 Confirm)
정보처리시스템-개방형 시스템 간 상호 접속-접속형 프리젠테이션 프로토콜 시방
信息处理系统 开放系统互连 面向连接的表示协议规范
2008-12-16
现行
BS ISO/IEC 11587-1996
Information technology. Open systems interconnection. Application context for systems management with transaction processing
信息技术 开放系统互连 用于带有事务处理的系统管理的应用程序上下文
1996-11-15
现行
ITU-T X.702
Information technology - Open Systems Interconnection - Application context for systems management with transaction processing
信息技术.开放系统互连.带事务处理的系统管理的应用环境
1995-11-21
现行
ISO/IEC 11587-1996
Information technology -- Open Systems Interconnection -- Application Context for Systems Management with Transaction Processing
信息技术.开放系统互连.事务处理系统管理的应用上下文
1996-07-11
现行
ISO 8648-1988
Information processing systems - Open Systems Interconnection - Internal organization of the Network Layer

信息处理系统.开放系统互连.网络层的内部组织
1988-02-25
现行
ISO/IEC 11587-1996
Information technology — Open Systems Interconnection — Application Context for Systems Management with Transaction Processing
信息技术——开放系统互连——用于具有事务处理的系统管理的应用程序上下文
1996-07-11
现行
KS X 3901(2023 Confirm)
정보처리시스템-개방형 시스템 간 상호 접속-기본 커넥션형 세션 서비스 정의
信息处理系统-开放系统互连-面向基本连接的会话服务定义
2008-12-16
现行
KS X 3902(2023 Confirm)
정보처리시스템-개방형 시스템 간 상호 접속-기본 커넥션형 세션 프로토콜
信息处理系统开放系统互连面向连接的基本会话协议规范
2008-12-16
现行
KS X 3901(2018 Confirm)
정보처리시스템-개방형 시스템 간 상호 접속-기본 커넥션형 세션 서비스 정의
信息处理系统 开放系统互连 面向连接的基本会话服务定义
2008-12-16