![header thumbnail](/images/publishers\bsi_cover.gif)
BS ISO/IEC TR 10167:1991
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.
![header thumbnail](/images/publishers\bsi_cover.gif)
Information technology. Open systems interconnection. Guidelines for the application of Estelle, LOTOS and SDL
Hardcopy , PDF
15-01-1999
English
31-01-1992
List of figures
Foreword
Introduction
1. Scope
2. References
3. Terminology
3.1 Architectural Terms
3.2 FDT Terms
4. FDT General Characteristics
4.1 Introduction
4.2 The Nature and Purpose of FDTs
4.3 Estelle
4.4 LOTOS
4.5 SDL
4.6 Benefits of FDTs
4.7 Tools for FDTs
5. Guide to the Examples
5.1 Explanations
5.2 How to read the Examples
6. Examples of Basic FDT Concepts
6.1 Abstraction
6.2 Information
6.3 Action
6.4 Interaction
6.5 Interaction Point
7. Examples of Basic Architectural Concepts
7.1 Service Access Point
7.2 Endpoint
7.3 Service Primitive Parameter
7.4 Service Data Unit
7.5 Service Primitive
7.6 Protocol Entity
7.7 Protocol
7.8 Protocol Data Unit
7.9 Connection
7.10 Multiplexing
7.11 Splitting
7.12 Concatenation
7.13 Segmentation
7.14 Service
8. Daemon Game Example
8.1 Informal Description
8.2 Deficiencies in the Informal Description
8.3 Estelle Description
8.4 LOTOS Description
8.5 SDL Description
8.6 Assessment of the Application of the FDTs
9. Sliding Window Protocol Example
9.1 Informal Description
9.2 Deficiencies in the Informal Description
9.3 Estelle Description
9.4 LOTOS Description
9.5 SDL Description
9.6 Assessment of the Application of the FDTs
10. Abracadabra Service and Protocol Example
10.1 Informal Description
10.2 Deficiencies in the Informal Description
10.3 Estelle Description
10.4 LOTOS description
10.5 SDL Description
10.6 Assessment of the Application of the FDTs
11. A Transport Protocol Example
11.1 Informal Description
11.2 Deficiencies in the Informal Description
11.3 Estelle Description
11.4 LOTOS Description
11.5 SDL Description
11.6 Assessment of the Application of FDTs
Annexes
A. Bibliography
A.1 International Standards
A.2 Documents
B. FDT Characteristics
B.1 Specification and implementations
B.2 Formal Specifications
B.3 Levels of Abstraction
B.4 FDT Terms
B.4.1 Formalisation
B.4.2 Abstraction
B.4.3 Specification, Description and Implementation
B.4.4 Model
B.4.5 Interpretation
B.4.6 Constructive
B.4.7 Information
B.4.8 Action
B.4.9 Interaction
B.4.10 Composition
B.4.11 Non-Determinism
C. FDT Objectives
C.1 Scope of Application
C.2 General Requirements
C.3 Appropriate Level of Abstraction
C.4 Design Support
C.5 Implementation Support
D. Evaluating Formal Descriptions
D.1 Layer-Independent Checklists
D.1.1 General
D.1.2 Service Descriptions
D.1.3 Protocol Descriptions
D.2 Layer-Independent and FDT-Dependent Checklists
D.2.1 General
D.2.2 Description of a Single Object
D.2.3 Description of Several Interconnected Objects
D.2.4 Different Descriptions of Same Object
D.23 Verification Methods and Tools
D.4 Validation Methods and Tools
List of Figures
4.1 Development through refinement
5.1 Typical Layout of an Example
8.1 Architecture of the Daemon Game in Estelle
8.2 Alternative Architecture of the Daemon Game in
Estelle
8.3 SDL Specification of Daemon Game
9.1 Transmitter Window Parameters
9.2 Receiver Window Parameters
9.3 Architecture of the Sliding Window Protocol in
Estelle
9.4 Architecture of the Sliding Window Protocol in
LOTOS
9.5 Outline Decomposition of the Sliding Window
Protocol in LOTOS
9.6 Processes of the Sliding Window Protocol in LOTOS
9.7 Outline Decomposition of Sliding Window Medium in
LOTOS
9.8 Processes of Sliding Window Medium in LOTOS
9.9 SDL Specification of Sliding Window Protocol
9.10 SDL Specification of Sliding Window Medium
10.1 Relationship between Abracadabra Service
Primitives
10.2 Abracadabra Protocol Data Units
10.3 Communications Medium Service Primitives
10.4 Abracadabra Service and Protocol Model
10.5 Architecture of Abracadabra Service in Estelle
10.6 Architecture of Abracadabra Protocol in Estelle
10.7 Outline Decomposition of the Abracadabra Service
in LOTOS
10.8 Outline Decomposition of the Abracadabra Protocol
in LOTOS
10.9 SDL Specification of Abracadabra Service
10.10 SDL Specification of Abracadabra Protocol
11.1 Receiving Terminal Reaction to TCR Addressing
Options
11.2 Calling Terminal Reaction to TCA Addressing
Options
11.3 Parameter Element Coding Structure
11.4 General Block Structure
11.6 Transport Connection Request Block
11.5 Transport Layer Block Types
11.7 Extended Addressing
11.8 Transport Data Block Size Parameter
11.9 Transport Connection Accept Block
11.10 Transport Connection Clear Block
11.11 Additional Clearing Information Parameter
11.12 Transport Block Reject Block
11.13 Rejected Block Parameter
11.14 Transport Data Block
11.15 Architecture of a Transport Protocol in Estelle
11.16 Constraint-Oriented Decomposition of a Transport
Protocol Entity
11.17 Decomposition of Process TPEConnection
11.18 SDL Specification of a Transport Protocol
B.1 Domain of Applicability of an FDT
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.