定义用于分布式并发信息处理系统的形式化描述的形式化描述技术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.