この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 定義と略語
3.1 定義
この国際規格の目的のために、次の定義が適用されます。
3.1.1
実際のパラメータ
プロシージャの実行中に仮パラメータにバインドされる値。
3.1.2
協会
シンボルのセットから値への任意のマッピング。
3.1.3
箱
特定の型の値を保持する変数またはコンテナーのモデル。
3.1.4
クライアント インターフェイス バインディング
インターフェイス参照のクライアント プロシージャによる所有。
3.1.5
クライアント手順
別のプロシージャを呼び出す一連の命令。
3.1.6
完全な手順の閉鎖
すべてのグローバル シンボルがマップされているプロシージャ クロージャ。
3.1.7
構成
ホストおよびターゲット コンピューター、プロセッサの操作に使用されるオペレーティング システムおよびソフトウェア。
3.1.8
実行順序
一連のグローバル状態 s 1 、S 2 、...。最初の状態を超える各状態は、1 回の作成操作または 1 回の書き込み操作によって前の状態から派生します。
3.1.9
仮パラメータ
実行中に値がバインドされるプロシージャーの定義で使用されるパラメーターの名前記号。
3.1.10
グローバル状態
すべての既存のボックスと現在割り当てられている値のセット。
3.1.11
グローバル アイコン
プロシージャに永続的に関連付けられている値を参照するために使用される記号。
3.1.12
実装定義
実装定義の機能は、この国際標準によって実装に依存する機能ですが、この国際標準への準拠を主張する実装は、この機能がどのように提供されるかを明示的に指定する必要があります。
3.1.13
実装依存
実装依存の機能は、この国際規格への適合を主張する実装によって提供される機能ですが、実装は、機能がどのように提供されるかを指定する必要はありません。
3.1.14
入力パラメータ
クライアント・プロシージャからのエントリ時に、対応する実パラメータをサーバー・プロシージャで使用できるようにすることを示す属性を持つ仮パラメータ。
3.1.15
入出力パラメータ
対応する実パラメーターが、クライアント・プロシージャーから入るときにサーバー・プロシージャーで使用可能になり、サーバー・プロシージャーから戻るときにクライアント・プロシージャーで使用可能になることを示す属性を持つ仮パラメーター。
3.1.16
インターフェイスの閉鎖
名前のコレクションとプロシージャ クロージャのコレクション、およびそれらの間のマッピング。
3.1.17
インターフェイス実行コンテキスト
特定のインターフェイス クロージャのプロシージャ実行コンテキストの和集合。
3.1.18
インターフェイス リファレンス
特定のインターフェイス インスタンスを指定する識別子。
3.1.19
インターフェイス タイプ
名前のコレクションとプロシージャ タイプのコレクション、およびそれらの間のマッピング。
3.1.20
インターフェイス タイプ識別子
インターフェイスの種類を示す識別子。
3.1.21
呼び出し協会
実パラメータ値のセットに適用されるプロシージャ クロージャ <lmage, Association> の呼び出し関連付けは、すべてのローカル シンボルを値にマッピングし、すべての仮パラメータ シンボルを対応する実パラメータにマッピングすることによって拡張されたクロージャの関連付けです。値。したがって、呼び出しの間、プロシージャ イメージ内のすべてのシンボルの値にバインドされます。
3.1.22
呼び出しコンテキスト
特定のプロシージャ コールの場合、プロシージャによって参照されるオブジェクトのインスタンス。オブジェクトの有効期間は、呼び出しの有効期間によって制限されます。
3.1.23
マーシャリング
実際のパラメータを収集し、場合によってはそれらを変換し、転送のために組み立てるプロセス。
3.1.24
出力パラメータ
サーバー・プロシージャーからの戻り時に、対応する実パラメーターがクライアント・プロシージャーで使用可能になることを示す属性を持つ仮パラメーター。
3.1.25
パラメータ
パラメーターは、クライアントからサーバー プロシージャに値を伝達するために使用されます。クライアントによって提供される値は実パラメータであり、仮パラメータはサーバー プロシージャで受信した値を識別するために使用されます。
3.1.26
部分的な手順の閉鎖
一部のグローバル シンボルがマップされていないプロシージャ クロージャ。プロシージャ クロージャは、すべてのグローバル シンボルがマップされている完全な場合と、1 つ以上のグローバル シンボルがマップされていない部分的な場合があります。
3.1.27
手順
プロシージャ値。
3.1.28
手続き呼び出し
プロシージャを呼び出す行為。
3.1.29
手続き閉鎖
関連付けがイメージのグローバル シンボルのマッピングを定義する <procedure image, association> のペア。
注記 1:プロシージャ クロージャは、ISO/IEC 11404 - 言語に依存しないデータ型で参照されているプロシージャ タイプの値です。
3.1.30
プロシージャ実行コンテキスト
特定の手続きの場合、手続きが動作できるようにするために必要な外部参照を満たすオブジェクトのインスタンス。
3.1.31
手順イメージ
プロシージャが呼び出されたときに実行される特定の一連の命令を具体化する、特定のプロシージャ タイプの値の表現。
3.1.32
プロシージャー呼び出し
プロシージャ イメージ、実行コンテキスト、呼び出しコンテキストの 3 つを表すオブジェクト。
3.1.33
手続き名
インターフェイス型定義内のプロシージャの名前。
3.1.34
手続き 返却
特定の終了を伴うサーバー プロシージャからの復帰動作。
3.1.35
手続きの種類
それぞれのメンバーが他のデータ型の値に対する操作のコレクションであるデータ型のファミリ。これは手続き値の別の定義であることに注意してください。
3.1.36
手続き値
外部ソースから入力され、外部ソースに制御を返すクローズド シーケンスの命令。
3.1.37
プロセッサー
構成と組み合わせて動作するコンパイラまたはインタープリタ。
3.1.38
サーバー手順
プロシージャ セルによって呼び出されるプロシージャ。
3.1.39
シンボル
値を参照するために使用されるプログラム エンティティ。
3.1.40
終了
プロシージャ コールの完了に関連する定義済みのステータス。
3.1.41
アンマーシャリング
転送されたパラメーターを逆アセンブルし、場合によっては変換して、呼び出し時にサーバー プロシージャーで使用するか、プロシージャーが戻ったときにクライアント プロシージャーで使用するプロセス。
3.1.42
価値
設定値には、プログラムの実行で発生する可能性のあるすべての値が含まれています。
3.2 略語
3.2.1 ASN.1: 抽象構文記法 - 1
3.2.2 IDN: インターフェース定義表記法
3.2.3 LID: ISO/IEC 11404:1995 で定義されている言語に依存しないデータ型。
3.2.4 LIPC: 言語に依存しない手続き呼び出し
3 Definitions and Abbreviations
3.1 Definitions
For the purposes of this International Standard, the following definitions apply.
3.1.1
actual parameter
A value that is bound to a formal parameter during the execution of a procedure.
3.1.2
association
Any mapping from a set of symbols to values.
3.1.3
box
A model of a variable or container that holds a value of a particular type.
3.1.4
client interface binding
The possession by the client procedure of an interface reference.
3.1.5
client procedure
A sequence of instructions which invokes another procedure.
3.1.6
complete procedure closure
A procedure closure, all of whose global symbols are mapped.
3.1.7
configuration
Host and target computers, any operating system(s) and software used to operate a processor.
3.1.8
execution sequence
A succession of global states s1, S2, ... where each state beyond the first is derived from the preceding one by a single create operation or a single write operation.
3.1.9
formal parameter
The name symbol of a parameter used in the definition of a procedure to which a value will be bound during execution.
3.1.10
global state
The set of all existing boxes and their currently assigned values.
3.1.11
global symbol
Symbol used to refer to values that are permanently associated with a procedure.
3.1.12
implementation defined
An implementation defined feature is a feature that is left implementation dependent by this International Standard, but any implementation claiming conformity to this International Standard shall explicitly specify how this feature is provided.
3.1.13
implementation dependent
An implementation dependent feature is a feature which shall be provided by an implementation claiming conformity to this International Standard, but the implementation need not to specify how the feature is provided.
3.1.14
input parameter
A formal parameter with an attribute indicating that the corresponding actual parameter is to be made available to the server procedure on entry from the client procedure.
3.1.15
input/output parameter
A formal parameter with an attribute indicating that the corresponding actual parameters are made available to the server procedure on entry from the client procedure and to the client procedure on return from the server procedure.
3.1.16
interface closure
A collection of names and a collection of procedure closures, with a mapping between them.
3.1.17
interface execution context
The union of the procedure execution contexts for a given interface closure.
3.1.18
interface reference
An identifier that denotes a particular interface instance.
3.1.19
interface type
A collection of names and a collection of procedure types, with a mapping between them.
3.1.20
interface type identifier
An identifier that denotes an interface type.
3.1.21
invocation association
The invocation association of a procedure closure <lmage, Association > applied to a set of actual parameter values is the association of the closure augmented by a mapping of all local symbols to values and all formal parameter symbols to the corresponding actual parameter values. Thus it is a binding to values of all symbols in the procedure image for the duration of the invocation.
3.1.22
invocation context
For a particular procedure call, the instance of the objects referenced by the procedure, where the lifetime of the objects is bounded by the lifetime of the call.
3.1.23
marshalling
A process of collecting actual parameters, possibly converting them, and assembling them for transfer.
3.1.24
output parameter
A formal parameter with an attribute indicating that the corresponding actual parameter is to be made available to the client procedure on return from the server procedure.
3.1.25
parameter
A parameter is used to communicate a value from a client to a server procedure. The value supplied by the client is the actual parameter, the formal parameter is used to identify the received value in the server procedure.
3.1.26
partial procedure closure
A procedure closure, some of whose global symbols are not mapped. Procedure closures may be complete, with all global symbols mapped, or partial with one or more global symbols not mapped.
3.1.27
procedure
The procedure value.
3.1.28
procedure call
The act of invoking a procedure.
3.1.29
procedure closure
A pair <procedure image, association > where the association defines the mapping for the image’s global symbols and no others.
Note 1 to entry: Procedure closures are the values of procedure type referred to in ISO/IEC 11404 - Language-Independent Datatypes.
3.1.30
procedure execution context
For a particular procedure, an instance of the objects satisfying the external references necessary to allow the procedure to operate, where these objects have a lifetime longer than a single call of that procedure.
3.1.31
procedure image
A representation of a value of a particular procedure type, which embodies a particular sequence of instructions to be performed when the procedure is called.
3.1.32
procedure invocation
The object which represents the triple: procedure image, execution context, and invocation context.
3.1.33
procedure name
The name of a procedure within an interface type definition.
3.1.34
procedure return
The act of return from the server procedure with a specific termination.
3.1.35
procedure type
The family of datatypes each of whose members is a collection of operations on values of other datatypes. Note, this is a different definition from procedure value.
3.1.36
procedure value
A closed sequence of instructions that is entered from, and returns control to, an external source.
3.1.37
processor
A compiler or interpreter working in combination with a configuration.
3.1.38
server procedure
The procedure which is invoked by a procedure cell.
3.1.39
symbol
A program entity used to refer to a value.
3.1.40
termination
A predefined status related to the completion of a procedure call.
3.1.41
unmarshalling
The process of disassembling the transferred parameters, possibly converting them, for use by the server procedure on invocation or by the client procedure upon procedure return.
3.1.42
value
The set Value contains all the values that might arise in a program execution.
3.2 Abbreviations
3.2.1 ASN.1: Abstract Syntax Notation - One
3.2.2 IDN: Interface Definition Notation
3.2.3 LID: Language-Independent Datatypes, as defined in ISO/IEC 11404:1995.
3.2.4 LIPC: Language-Independent Procedure Calling