BS ISO/IEC TR 10167:1991

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

Provides an introduction to the nature and purpose of formal description techniques (FDT); selected examples of formal descriptions using these techniques; guidance to FDT users; and an implicit basis for the comparison of these FDTs.