logo

Standards Manage Your Business

We Manage Your Standards

ISO

ISO 8807:1989

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

Standard Details

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 StandardDetails, 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
Standard Type: Main
Document No: ISO 8807:1989
Document Year: 1989
Pages: 142
Edition: 1
  • ICS:
  • 35.060 Languages used in information technology
  • 35.100.01 Open systems interconnection in general

Life Cycle

Currently Viewing

Published
ISO 8807:1989
Knowledge Corner

Expand Your Knowledge and Unlock Your Learning Potential - Your One-Stop Source for Information!

© Copyright 2024 BSB Edge Private Limited.

Enquire now +