BS ISO/IEC 13886:1996

1 Scope
2 References
3 Definitions and Abbreviations
    3.1 Definitions
    3.2 Abbreviations
4 Conformance
    4.1 Modes of conformance
          4.1.1 Client mode conformance
          4.1.2 Server mode conformance
5 A model of procedure calling: informal description
    5.1 Model overview
    5.2 Parameter passing
          5.2.1 Methods of parameter passing
                  5.2.1.1 Call by Value Sent on Initiation
                  5.2.1.2 Call by Value Sent on Request
                  5.2.1.3 Call by Value Returned on
                           Termination
                  5.2.1.4 Call for Value Returned when
                           Available
          5.2.2 Global data
          5.2.3 Parameter Marshalling/Unmarshalling
          5.2.4 Pointer Parameters
          5.2.5 Private types
    5.3 Execution-time Control
          5.3.1 Terminations
                  5.3.1.1 Normal termination
                  5.3.1.2 Abnormal termination
                  5.3.1.3 External Cancellation
                  5.3.1.4 Predefined conditions
    5.4 Execution Control
          5.4.1 Synchronous and Asynchronous Calling
          5.4.2 Recursion
6 A model of procedure calling: formal description
    6.1 Value
    6.2 Boxes and global state
    6.3 Symbol
    6.4 Procedure image
    6.5 Association
    6.6 Procedure closures
    6.7 Boxes, pointers, values and datatypes
    6.8 Interface closure
    6.9 Interface type
    6.10 Specifications
    6.11 Basic procedure invocation
    6.12 Type correctness
    6.13 Associates
          6.13.1 Simple Associates
          6.13.2 Generalised Associates
    6.14 Execution and Invocation contexts
    6.15 Parameter translations
    6.16 Defining Translation Procedures
7 Interface Definition Notation
    7.1 Definitional conventions
          7.1.1 Character Set
          7.1.2 Formal Syntax
          7.1.3 Whitespace
    7.2 Interface Type Declarations
          7.2.1 Type References
          7.2.2 Value References
    7.3 Import Declarations
    7.4 Value Declarations
    7.5 Datatype Declarations
          7.5.1 Primitive Datatypes
                  7.5.1.1 Integer
                  7.5.1.2 The real datatype
                  7.5.1.3 The character datatype
                  7.5.1.4 The boolean datatype
                  7.5.1.5 The enumerated datatype
                  7.5.1.6 The octet datatype
                  7.5.1.7 The procedure datatype
                  7.5.1.8 The state datatype
                  7.5.1.9 The ordinal datatype
                  7.5.1.10 The time datatype
                  7.5.1.11 The bit datatype
                  7.5.1.12 The rational datatype
                  7.5.1.13 The scaled datatype
                  7.5.1.14 The complex datatype
                  7.5.1.15 The void datatype
          7.5.2 Generated datatype
                  7.5.2.1 The record datatype
                  7.5.2.2 The choice datatype
                  7.5.2.3 The array datatype
                  7.5.2.4 The pointer datatype
          7.5.3 Subtypes
    7.6 Parameterized Types
    7.7 Identifiers
          7.7.1 Value references to fields
          7.7.2 Value references to parameters, return-
                  args, or to fields contained within them
          7.7.3 Value references to formal-value-parms
          7.7.4 Value references to value-expressions
          7.7.5 Value references to enumeration-
                  identifiers
          7.7.6 Termination references
Annexes
A Procedure Parameters
    A.1 LIPC Reference / Local Access
    A.2 LIPC Reference / LIPC Access
    A.3 Local Reference / Local Access
B Interface Definition Notation Syntax
C How to do an LIPC binding for a language
    C.1 Linking the client and the server
    C.2 Client mode binding
    C.3 Server mode binding
    C.4 Procedure parameters
    C.5 Global variables
D LIPC IDN - RPC IDL Alignment overview
    D.1 Interface Declarations
          D.1.1 Attributes
          D.1.2 Imports Clause
    D.2 Other Declarations
          D.2.1 Type Declarations
          D.2.2 Value Declarations
          D.2.3 Procedure Declarations
          D.2.4 Termination Declarations
    D.3 Primitive Datatypes
          D.3.1 Boolean
          D.3.2 State
          D.3.3 Enumerated
          D.3.4 Character
          D.3.5 Ordinal
          D.3.6 Time
          D.3.7 Integer
          D.3.8 Rational
          D.3.9 Scaled
          D.3.10 Real
          D.3.11 Complex
          D.3.12 Void
    D.4 Type Qualifiers
    D.5 Generated Datatypes
          D.5.1 Choice
          D.5.2 Pointer
          D.5.3 Procedure
    D.6 Aggregate Datatypes
          D.6.1 Record
          D.6.2 Set
          D.6.3 Bag
          D.6.4 Sequence
          D.6.5 Array
          D.6.6 Table
    D.7 Derived Datatypes and Generators
          D.7.1 Naturalnumber
          D.7.2 Modulo
          D.7.3 Bit
          D.7.4 Bitstring
          D.7.5 Characterstring
          D.7.6 Timeinterval
          D.7.7 Octet
          D.7.8 Octetstring
          D.7.9 Private
    D.8 Other RPC Datatypes
    D.9 "Dependent Values"
    D.10 Cross References

Defines a model for procedure calls and a reference syntax for mapping to and from the model. This syntax is known as the Interface Definition Notation. Includes procedure invocation, parameter passing, completion status and environmental issues relating to non-local references and state. Does not define the method where the procedure call is communicated to the server mode language processor, minimum requirements of a data processing system capable of supporting an implementation of a language processor to support LIPC, mechanism for transforming programs in support of LIPC into one used by a data processing system, or parameter representation.

This International Standard specifies a model for procedure calls, and a reference syntax for mapping to and from the model. This syntax is referred to as the Interface Definition Notation. The model defined in this International Standard includes such features as procedure invocation, parameter passing, completion status, and environmental issues relating to non-local references and state.

This International Standard does not specify:

• the method by which the procedure call initiated by the client mode processor is communicated to the server mode language processor;

• the minimum requirements of a data processing system that is capable of supporting an implementation of a language processor to support LIPC;

• the mechanism by which programs written to support LIPC are transformed for use by a data processing system;

• the representation of a parameter.

NOTE— Originally it was the intention to align the definitions and concepts of this International Standard with those of the RPC standard (ISO/IEC11578). Unfortunately, in a late stage of the development process of the RPC standard it was decided to use for that standard a completely different approach. Hence the intended alignment did not materialize.

AnnexD gives an overview of the differences between the concepts as defined by this International Standard and the RPC standard.