ISO 8807:1989

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

Publication date:   Feb 9, 1989

General information

90.93 Standard confirmed   Jan 3, 2019

ISO

ISO/IEC JTC 1/SC 7 Software and systems engineering

International Standard

35.060   Languages used in information technology | 35.100.01   Open systems interconnection in general

Buying

  Published

PDF - €261.36

  English  



Buy

Scope

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.

Life cycle

NOW

PUBLISHED
ISO 8807:1989
90.93 Standard confirmed
Jan 3, 2019

CORRIGENDA / AMENDMENTS

ABANDON
ISO 8807:1989/WD Amd 2