AS/NZS 4206:1994
Withdrawn
A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.
Information technology - Open Systems Interconnection - LOTOS description of the session protocol
Hardcopy , PDF 1 User , PDF 3 Users , PDF 5 Users , PDF 9 Users
30-06-2017
English
11-07-1994
Important note : Users cannot be edited or removed once added to your Multi user PDF.Provides the formal definitions of the OSI basic connection oriented session protocol described by the formal description technique LOTOS. This Standard is identical with and has been reproduced from ISO/IEC TR 9572:1989.
| Committee |
IT-001
|
| DocumentType |
Standard
|
| ISBN |
0 7262 9017 3
|
| Pages |
86
|
| PublisherName |
Standards Australia
|
| Status |
Withdrawn
|
This Technical Report contains a formal description of the OSI Basic Connection Oriented Session Protocol defined in ISO 8327. The formal definitions presented in this Technical Report are expressed in the formal description technique LOTOS, which is defined in ISO 8807.These formal definitions are related to the formal descriptions in LOTOS of the OSI Connection Oriented Session Service, ISO 8326, and of the OSI Transport Service, ISO 8072. Moreover, formal definitions of these services, contained in ISO/IEC/TR 9571 and ISO/IEC/TR 10023, respectively, are used and referenced in this Technical Report.The formal description is not limited to a single session protocol machine, but also describes multiple session protocol machines that result from support of multiple session connections either in parallel or in sequence. Therefore, it also formalizes aspects of multiplicity which are not presented in ISO 8327 directly, but by way of reference to the OSI Basic Reference Model, ISO 7498.
| Standards | Relationship |
| ISO/IEC TR 9572:1989 | Identical |
First published as Joint Standard AS/NZS 4206:1994.
| AS 3591-1988 | Information processing systems - Open Systems Interconnection - Basic connection oriented session service definition |
| AS 3592-1988 | Information processing systems - Open Systems Interconnection - Basic connection oriented session protocol specification |
| AS/NZS 4207:1994 | Information technology - Open Systems Interconnection - LOTOS description of the session service |
| AS/NZS 4199:1994 | Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour |
| AS 2911-1986 | Information processing systems - Open Systems Interconnection - Transport service definition |
| AS 2777-1985 | Information processing systems - Open Systems Interconnection - Basic reference model |
| AS/NZS 4164:1994 | Information technology - Telecommunications and information exchange between systems - Formal description of AS 2911 in LOTOS |
| AS/NZS 4207:1994 | Information technology - Open Systems Interconnection - LOTOS description of the session service |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.