ISO 8807:1989

$55.25

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

Published By	Publication Date	Number of Pages
ISO	1989-02	147

Guaranteed Safe Checkout

Categories: 35.060 - Languages used in information technology, 35.100.01 - Open systems interconnection in general, ISO

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Description

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.

Additional information

Published Code	ISO
Published By	International Organization for Standardization
Publication Date	1989-02
Pages Count	147
Language	English
Edition	1
File Size	7.0 MB
ICS Codes	35.060 - Languages used in information technology 35.100.01 - Open systems interconnection in general

Preview PDF


PDF Format	Searchable	Printable	Preview Now

ISO 8807:1989

Related products