标准号：ISO 8807:1989
发布日期：1989-02-09
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
信息处理系统 - 开放系统互连 - LOTOS - 一种基于观测行为时序排序的形式化描述技术
ISO8807:1989的适用范围是LOTOS（时序规范语言），用于描述分布式信息系统和通信协议的功能和行为规范。
ISO 8807:1989