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年
- 发布单位
- 国际标准化组织
- 当前最新
- ISO 8807:1989
- 适用范围
- 定义用于分布式并发信息处理系统的形式化描述的形式化描述技术 LOTOS 的语法和语义。 LOTOS 可用于正式描述 ISO 7498 和相关标准中描述的开放系统互连 (OSI) 架构各层的服务定义和协议规范，以及 OSI 协议和/或 OSI 功能实现的一致性测试。 它也可以应用于其他分布式系统的形式化描述，例如电话交换网络。 参考文献：ISO 7498； CCITT 建议 Z.100，SDL。