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-02-09
ISO8807:1989是LOTOS（时序排序规范语言）的国际标准，其适用范围包括定义LOTOS语言的语法和语义，用于描述分布式系统和并发系统的功能行为，适用于通信协议、软件系统及其他需要形式化行为规范的领域。