美利体育登录入口官网:ISO 8807:1989
信息处理系统 开放系统互连 LOTOS并基于暂时排序观察行为的形式描述技术
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
- 标准号
- ISO 8807:1989
- 发布
- 1989年
- 国际标准分类(ICS)
- 35.060 信息技术用语言 35.100.01 开放系统互连(OSI)综合
- 总页数
- 152页
- 发布单位
- 国际标准化组织
- 当前最新
- ISO 8807:1989
- 适用范围
- 定义用于分布式并发信息处理系统的形式化描述的形式化描述技术 LOTOS 的语法和语义。 LOTOS 可用于正式描述 ISO 7498 和相关标准中描述的开放系统互连 (OSI) 架构各层的服务定义和协议规范，以及 OSI 协议和/或 OSI 功能实现的一致性测试。 它也可以应用于其他分布式系统的形式化描述，例如电话交换网络。 参考文献：ISO 7498； CCITT 建议 Z.100，SDL。
美利体育登录入口官网: ISO 8807:1989相似标准
CSA Z243.101-89-CAN/CSA-1989 信息处理系统—开放系统互连—LOTOS— 一种基于暂时排序观察行为的形式描述技术
KS X 3003-1993(2018) 信息处理系统 - 开放系统互连 - LOTOS - 正式描述技术基于观察行为的时间排序
CAN/CSA-Z243.101-1989(R2013) 信息处理系统 开放系统互连 LOTOS 基于观察行为时间顺序的形式化描述技术
ISO 8807 信息处理系统 开放系统互连 LOTOS 基于观察行为时间顺序的形式化描述技术
KS C 5917-1993 信息处理系统-开放系统互连-LOTOS-一种基于观察行为时序的形式化描述技术