BS ISO/IEC TR 11590:1995

1 Scope
2 Normative references
3 Definitions
4 Symbols and abbreviations
5 Conventions
6 Introduction to the formal description
    6.1 Model
    6.2 Structure
7 Interface of the description of CCR protocol
8 Type definitions
    8.1 General Type
         8.1.1 Key Type
         8.1.2 Formal Identifier Type
         8.1.3 Atomic Action Identifier
         8.1.4 Branch Identifier
         8.1.5 Masters Name
         8.1.6 Superiors Name
         8.1.7 Name Type
         8.1.8 AE Title Type
         8.1.9 AP Title Type
         8.1.10 AE Qualifier Type
    8.2 Side Type
         8.2.1 Atomic Action Suffix Type
         8.2.1 Atomic Action Suffix Type
         8.2.2 Branch Suffix Type
         8.2.3 Recovery State Type
         8.2.4 Result
         8.2.5 Result Source
         8.2.6 Diagnostic
         8.2.7 Other Parameters
         8.2.8 Synchronization Type
         8.2.9 Synchronization Point Serial Number
         8.2.10 Re-Synchronization Type
         8.2.11 Token Type
         8.2.12 Presentation Context Identifier List
         8.2.13 Data Separation Type
         8.2.14 CCR Protocol Data Unit User Data
         8.2.15 Transformation Between User Data and CCR
                User Data
9 Service Primitive Definitions
    9.1 CCR Service Primitives Type
    9.2 ACSE Service Primitives Type
    9.3 Presentation Service Primitive Type
    9.4 General Service Primitive Type
10 PDU Types
   10.1 CCR PDU Type
   10.2 Application Protocol Data Unit
   10.3 Transformation from CCR Service Primitive to
         CCR PDU
   10.4 Transformation from CCR PDU to CCR Service
         Primitive
   10.5 Key Queue Type
   10.6 PDU Type
   10.7 PDU Queue Type
   10.8 Search CCR PDU Type
   10.9 Concatenation and Deconcatenation Type
   10.10 CCR Version Number Types
   10.11 Atomic Action Branch Type
   10.12 Failure Event Type
11 Global constraints of the CCR protocol specification
    behaviour
12 CCR Protocol Machine
   12.1 CCR Protocol Version Negotiation
   12.2 Process for CCR Initialize
   12.3 CCR Fixed Version Process
   12.4 Process for CCR Behaviour
13 Control Function
   13.1 CF Router
   13.2 CCR Part in CF
   13.3 CCR Initializer in CF for Non Negotiated Version
         Case
   13.4 CCR Initializer in CF for Negotiated Version Case
   13.5 Concatenator and Deconcatenator Process
         13.5.1 Concatenator Process
         13.5.2 Deconcatenator Process
   13.6 Lower Service PDU Mapping Process

Describes the CCR Protocol Specification using formal description language LOTOS.