ISO 8807:1989

Published (Edition 1, 1989)

This publication was last reviewed and confirmed in 2019. Therefore this version remains current.

ISO 8807:1989

CHF 216

Convert Swiss francs (CHF) to your currency

Abstract

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.

General information

Status
: Published

Publication date
: 1989-02

Stage
: International Standard confirmed [90.93]
Edition
: 1

Number of pages
: 142
Technical Committee :
ISO/IEC JTC 1/SC 7

ICS :
35.060 35.100.01
RSS updates