标准摘要
[中文适用范围]： 定义用于分布式并发信息处理系统的形式化描述的形式化描述技术 LOTOS 的语法和语义。 LOTOS 可用于正式描述 ISO 7498 和相关标准中描述的开放系统互连 (OSI) 架构各层的服务定义和协议规范，以及 OSI 协议和/或 OSI 功能实现的一致性测试。 它也可以应用于其他分布式系统的形式化描述，例如电话交换网络。 参考文献：ISO 7498； CCITT 建议 Z.100，SDL。 [外文原描述]： Defines the syntax and semantics of the Formal Description Technique LOTOS used for the formal description of distributed, concurrent information processing systems. 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. References: ISO 7498; CCITT Recommendation Z. 100, SDL.
英文名称Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour