Appendix A. Outline for Gedanken Experiment on Separating Mechanism and Policy

January 1993

Part I Service Definitions

0

Introduction

1

Scope

2

References

3

Definitions

4

Compliance with other Specifications

5

Overview of the Service

 

5.1

Narrative Description of the Service

 

5.2

Basic Service and Options

6

Detailed Specification of the Service

 

6.x

Name of the Service Primitive

  

6.x.1

Description of the Function

  

6.x.2

Conditions for Generating (This Primitive)

<This section should contain both the prose description and the formal description.>

  

6.x.3

Action on Receipt (of This Primitive)

<This section should contain both the prose description and the formal description.>

  

6.x.4

Semantics of the Parameters (of the Primitive)

<This section should contain a complete specification (or a pointer to complete specification) of the parameters in the primitive.>

Part II Protocol Specifications

0

Introduction

1

Scope

2

References

3

Definitions

4

Compliance with Other Standards

5

Overview of the Protocol

 

5.1

Narrative Description of the Protocol

 

5.2

Reference to the Service Definition

 

5.3

Services Required by This Protocol

 

5.4

Basic Protocol and Extensions

6

Detailed Specification of the Protocol

 

6.1

Detailed Specification of Common Functions

  

(Subsections giving a detailed specification of common functions following the style used for the PDUs in 6.2)

 

6.2

Detailed Specification of PDU Behavior

  

6.2.i.1

Name of PDU

  

6.2.i.2

Function

  

6.2.i.3

Conditions for Generating (This PDU)

   

6.2.i.3.1

Prose Description

   

6.2.i.3.2

Formal Description

  

6.2.i.4

Action on Receipt (of This PDU)

   

6.2.i.4.1

Prose Description

   

6.2.i.4.2

Formal Description

 

6.3

Syntax of PDUs

 

6.4

Mapping to Lower Service

7

State Tables

8

Conformance Requirements

Part III Mechanism Specifications

1

Introduction

2

Facility Provided

3

Narrative Description of the Mechanism

4

Mechanism Identifier

5

Mechanism Specification

 

5.1

Other Mechanisms Required

 

5.2

Imports from Other Mechanism Specifications

  

5.2.1

Local State Variables

   

Sending

   

Receiving

  

5.2.2

Extended PDUs

  

5.2.3

Other Syntactic Constructs

 

5.3

Environmental Variables

 

5.4

Additional PCI Required

  

5.4.1

Syntax

  

5.4.2

Semantics of the Fields

 

5.5

Local State Variables

 

Sending

 

Receiving

 

5.6

Additional Actions Associated with the Generic Protocol

  

5.6.1

Data.submit

   

5.6.1.1.

Informal Specification

   

5.6.1.2.

Formal Specification

  

5.6.2

Data PDU

   

5.6.2.1.

Informal Specification

   

5.6.2.2.

Formal Specification

 

5.7

Actions Associated with Imported PDUs

 

5.8

New PDUs or Timers Associated with This Mechanism

  

5.8.1

New PDU Name

   

5.8.1.1

Description

   

5.8.1.2

When Generated

    

5.8.1.2.1

Informal Specification

   

5.8.1.3

Action

 
    

5.8.1.3.1

Informal Specification

   

5.8.1.4

Syntax

   

5.8.1.5

Semantics of the Fields

  

5.8.2

New Timer Name

   

5.8.2.1

Description

   

5.8.2.2

When Activated

   

5.8.2.3

Action upon Expiration

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.119.192.55