ISO 8807:1989 信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时次序的形式描述技术

标准编号：ISO 8807:1989

中文名称：信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时次序的形式描述技术

英文名称：Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour

发布日期：1989-02

标准范围

定义用于分布式并发信息处理系统形式化描述的形式化描述技术LOTOS的语法和语义。LOTOS可用于正式描述ISO 7498中描述的开放系统互连（OSI）体系结构各层的服务定义和协议规范，以及相关标准，以及OSI协议和/或OSI功能实现的一致性测试。它也可以应用于其他分布式系统的形式化描述，例如电话交换网络。参考文献:ISO 7498；CCITT建议Z.10SDL。

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.

标准预览图