ISO 8807:1989

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

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
Edition
: 1

Number of pages
: 142
Technical Committee
: ISO/IEC JTC 1/SC 7 Software and systems engineering
ICS
:
35.060 Languages used in information technology

35.100.01 Open systems interconnection in general

This standard contributes to the following Sustainable Development Goal:

Industry, Innovation and Infrastructure

Buy this standard

	Format	Language
std 1 208	PDF
std 2 208	Paper

CHF208

Life cycle

Now

Published

ISO 8807:1989

A standard is reviewed every 5 years
Stage: 90.93 (Confirmed)

Got a question?

Check out our FAQs

Customer care

+41 22 749 08 88

customerservice@iso.org

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)