BS ISO/IEC TR 10023:1992

Name: BS ISO/IEC TR 10023:1992
Brand: BSI

Withdrawn

Information technology. Telecommunications and information exchange between systems. Formal description of ISO 8072 in LOTOS

Available format(s)

Hardcopy , PDF

Withdrawn date

07-23-2013

Language(s)

English

Published date

10-15-1992

Publisher

British Standards Institution

Foreword
Introduction
1. Scope
2. Normative references
3. Definitions
4. Symbols and abbreviations
5. Conventions
6. Requirements
7. Introduction of the formal description
8. Interface data types
9. Global Constraints
10. Provision of a transport connection
11. Local constraints for a TCEP
12. End-to-end constraints for a single TC
13. Identification of transport connections
14. Acceptance of transport connections
15. Flow control by backpressure
16. Connectionless-mode transmission

Describes the OSI Transport service (defined in ISO 8072) using the formal description technique LOTOS, which is defined in ISO 8807. Coverage includes definitions, symbols, and abbreviations, conventions, interface data types, global constraints, flow control by backpressure, and acceptance of transport connections.

DevelopmentNote	Supersedes 92/64752 DC. (03/2007)
DocumentType	Standard
Pages	36
PublisherName	British Standards Institution
Status	Withdrawn
Supersedes	92/64752 DC : JUL 92

Standards	Relationship
ISO/IEC TR 10023:1992	Identical

ISO/IEC 8072:1996	Information technology Open systems interconnection Transport service definition
ISO/IEC TR 10024:1992	Information technology — Telecommunications and information exchange between systems — Formal description of ISO 8073 (Classes 0, 1, 2, 3) in LOTOS
ISO 8807:1989	Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of observational behaviour