ISO/IEC TR 14369:2018 情報技術—プログラミング言語、その環境、およびシステムソフトウェアインターフェイス—言語に依存しないサービス仕様(LISS)の準備のためのガイドライン | ページ 6

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

3 用語と定義

このドキュメントでは、次の用語と定義が適用されます。

ISO と IEC は、次のアドレスで標準化に使用する用語データベースを維持しています。

3.1

クライアント

サービス (3.13) を利用するアプリケーション (通常は何らかの言語のプログラム)

注記 1: 「サービス ユーザー」(3.15) という用語は、多くの場合、同様の意味で使用されます。「クライアント」は、アプリケーション自体だけでなく、アプリケーションが実行されている物理的なコンピューター システムを意味することがよくあります。

3.2

データ・タイプ

値のセット。通常、それらの値に対する一連の操作が伴います。

3.3

正式な言語

正式 仕様言語 (3.16)

3.4

インターフェース

サービス利用者(3.15) が サービス(3.13) を呼び出して利用するメカニズム。

3.5

言語

プログラミング言語、 仕様言語 (3.16) または自然 (人間の) 言語ではない。

3.6

言語バインディング

特定のプログラミング言語で書かれたアプリケーションのための、 サービス (3.13) または一連のサービスへの標準インターフェースの仕様。

3.7

言語依存

特定のプログラミング言語の概念、機能、または仮定を利用している状態

3.8

言語に依存しない

特定のプログラミング言語または言語スタイルの概念、機能、または仮定を利用していない状態

3.9

言語プロセッサ

プログラミング言語のユーザーがその言語で書かれたプログラムを翻訳して実行できるようにするコンピューティング システム全体。一般に、ハードウェアと関連する関連ソフトウェアの両方で構成される。

[出典: ISO/IEC TR 10176:2003, 3.1, modified — 定義の冒頭の「denotes the」という言葉が削除され、2 つの注記が削除された。]

3.10

マッピング

あるエンティティ (プログラミング言語、仕様、標準など) の要素 (概念、機能、機能など) と、別のエンティティの対応する要素との間の定義された関連付け。

注記1動詞として使用される場合のマッピングは、マッピングを決定または利用するプロセスです。

注記 2:マッピングは通常、あるエンティティから別のエンティティへのものとして定義されます。言語 L から標準 S への言語バインディングは、通常、L から S へのマッピングと S から L へのマッピングの両方を組み込みます。

注記 3マッピングされる内容によっては、マッピングは必ずしも 1 対 1 であるとは限りません。これは、要素 E をシステム A からシステム B の要素 E' にマッピングし、続いて E' をシステム A にマッピングしても、必ずしも元の E に戻るとは限らないことを意味します。保存するには、マッピングの実行に、元の場所を記録してそこに戻ることを含める必要があります。

3.11

マーシャリング

プロシージャ呼び出しで使用される実際のパラメータを収集し、必要に応じて変換し、呼び出された プロシージャに転送するためにそれらを組み立てるプロセス (3.12)

注記 1このプロセスは、呼び出し元に呼び出しの結果を返す準備をするときに、呼び出されたプロシージャーによっても実行されます。

注記 2:マーシャリングは、サービス提供者のために入力値を準備するときにサービス利用者によって実行され、サービス利用者のために結果を準備するときにサービス提供者によって実行されると見なすことができ、当該サービスは呼び出される手続きと見なされる。 .

3.12

手順

値を返すことができるサブプログラム

注記 1値を返す手続きはサブルーチンと呼ばれることがあり,値を返さない手続きは関数と呼ばれることがある。

注記 2:一部のプログラミング言語では、異なる用語が使用されています。

3.13

サービス

インターフェース(3.4) を介して サービス利用者(3.15) が利用できる施設、または一連の施設

3.14

サービスプロバイダー

サーバ

サービス(3.13) を実装し,それを サービス利用者(3.15)が利用 できるようにするコンピュータシステムまたはコンピュータシステムのセット。

注記 1この定義では、「コンピュータシステム」は、物理システムではなく、論理システムを意味する。 1 つまたは複数の物理コンピューター システムのすべての一部に対応できます。

注記2: 「サーバー」という用語は、サービスを提供する以外の機能を持たない物理的なコンピューターシステムを意味することもありますが、しばしば同様の意味で使用されます。

3.15

サービス利用者

サービス (3.13) を利用するアプリケーション (通常は何らかの言語のプログラム)

注記 1: 「クライアント」(3.1) という用語は、しばしば同様の意味で使用されますが、アプリケーション自体だけでなく、アプリケーションが実行されている物理的なコンピューター システムを意味することもあります。

3.16

仕様言語

サービスまたはインターフェースのセマンティクスを正確かつあいまいさなく定義するための正式な言語

3.17

アンマーシャリング

転送されたパラメータを受け取って逆アセンブルし、必要に応じて変換して、さらに使用するために値を準備するプロセス

注記 1:このプロセスは、呼び出されたプロシージャーが呼び出しの実パラメーターを受け取ったときに実行され、呼び出し元が呼び出しの戻り結果を受け取ったときに実行されます。

注記 2:アンマーシャリングは、サービス利用者から入力値を受け取るときにサービス提供者によって実行され、サービス提供者から結果を受け取るときにサービス利用者によって実行されると見なすことができ、当該サービスはプロシージャーが呼び出されると見なされます。 .

3.18

Z

<数学> 複素数

注記 1: ISO/IEC 10967-1 を参照。

3.19

Z

形式 仕様言語のタイプ (3.16)

注記 1: 「zed」と発音する。

注記 2: ISO/IEC 13568 を参照。

参考文献

[1]ISO 238, 情報技術 - 語彙
[2]ISO 8807, 情報処理システム - Open Systems Interconnection - LOTOS - 観察行動の時間的順序付けに基づく正式な記述技法
[3]ISO/IEC 90741, 1情報技術 — オープン システム相互接続 — エステル: 拡張状態遷移モデルに基づく正式な記述手法
[4]ISO/IEC TR 10034, プログラミング言語標準における適合条項の作成に関するガイドライン
[5]ISO/IEC TR 10176, 情報技術 — プログラミング言語標準の準備のためのガイドライン
[6]ISO/IEC TR 10182, 情報技術 — プログラミング言語、その環境、およびシステム ソフトウェア インターフェイス — 言語バインディングのガイドライン
[7]ISO/IEC 10967-1, 情報技術 — 言語に依存しない算術演算 — 1: 整数および浮動小数点演算
[8]ISO/IEC 10967-2, 情報技術 — 言語に依存しない算術演算 — 2: 初等数値関数
[9]ISO/IEC 10967-3, 情報技術 — 言語に依存しない算術演算 — 3: 複雑な整数と浮動小数点の算術演算と複雑な初等数値関数
[10]ISO/IEC 11404, 情報技術 — 汎用データ型 (GPD)
[11]ISO/IEC 11578, 情報技術 — オープン システム相互接続 — リモート プロシージャ コール (RPC)
[12]ISO/IEC 13568, 情報技術 — Z 正式仕様記法 — 構文、型システム、およびセマンティクス
[13]ISO/IEC 13719, 情報技術 - Portable Common Tool Environment (PCTE)
[14]ISO/IEC 13817-1, 情報技術 — プログラミング言語、その環境、およびシステム ソフトウェア インターフェイス — ウィーン開発法 — 仕様言語 — 1: ベース言語
[15]ISO/IEC 13886, 情報技術 — 言語に依存しない手続き呼び出し (LIPC)
[16]ISO/IEC 14977, 情報技術 — 構文メタ言語 — 拡張 BNF
[17]ISO/IEC/IEEE 60559, 情報技術 - マイクロプロセッサ システム - 浮動小数点演算
[18]ACM Signplan Notices (Vol 29 No. 9, 1994 年 9 月、pp 159-167) で公開されたデータ型の分類法

3 Terms and definitions

For the purposes of this document, the following terms and definitions apply.

ISO and IEC maintain terminological databases for use in standardization at the following addresses:

3.1

client

application (typically a program in some language) which makes use of a service (3.13)

Note 1 to entry: The term “service user” (3.15) is often used in a similar sense, where “client” more often implies the physical computer system on which the application is running, rather than just the application itself.

3.2

datatype

set of values, usually accompanied by a set of operations on those values

3.3

formal language

formal specification language (3.16)

3.4

interface

mechanism by which a service user (3.15) invokes and makes use of a service (3.13)

3.5

language

programming language, not specification language (3.16) or natural (human) language, unless otherwise qualified

3.6

language binding

specification of the standard interface to a service (3.13) , or set of services, for applications written in a particular programming language

3.7

language-dependent

state of making use of the concepts, features or assumptions of a particular programming language

3.8

language-independent

state of not making use of the concepts, features or assumptions of any particular programming language or style of language

3.9

language processor

entire computing system which enables a programming language user to translate and execute programs written in the language, in general consisting both of hardware and of the relevant associated software

[SOURCE: ISO/IEC TR 10176:2003, 3.1, modified — the words “denotes the” at the beginning of the definition, and the two Notes to entry were deleted.]

3.10

mapping

defined association between elements (such as concepts, features or facilities) of one entity (such as a programming language, or a specification, or a standard) with corresponding elements of another entity

Note 1 to entry: Mapping when used as a verb is a process of determining or utilizing a mapping.

Note 2 to entry: Mappings are usually defined as being from one entity into another. A language binding of a language L into a standard S usually incorporates both a mapping from L into S and a mapping from S into L.

Note 3 to entry: Depending on what is being mapped, a mapping is not necessarily one-to-one. This means that mapping an element E from system A into an element E' of system B, followed by mapping E' back into system A, does not necessarily get back to the original E. In such situations, if a two-way correspondence is to be preserved, the execution of the mappings needs to include recording the place of origin and returning to it.

3.11

marshalling

process of collecting the actual parameters used in a procedure call, converting them if necessary, and assembling them for transfer to the called procedure (3.12)

Note 1 to entry: This process is also carried out by the called procedure when preparing to return the results of the call to the caller.

Note 2 to entry: Marshalling can be regarded as being performed by a service user when preparing input values for a service provider, and by a service provider when preparing results for a service user, the service concerned being regarded as the procedure being called.

3.12

procedure

subprogram which can return a value

Note 1 to entry: A procedure that returns a value is sometimes called a subroutine, a procedure that does not return a value is sometimes called a function.

Note 2 to entry: Some programming languages use different terminology.

3.13

service

facility, or set of facilities, made available to service users (3.15) through an interface (3.4)

3.14

service provider

server

computer system, or set of computer systems, that implements a service (3.13) and makes it available to service users (3.15)

Note 1 to entry: In this definition, “computer system” means a logical system, not a physical system; it can correspond to part of all of one or more physical computer systems.

Note 2 to entry: The term “server” is often used in a similar sense, though sometimes implying a physical computer system that has no other function than to provide its service

3.15

service user

application (typically a program in some language) which makes use of a service (3.13)

Note 1 to entry: The term “client” (3.1) is often used in a similar sense, though sometimes implying the physical computer system on which the application is running, rather than just the application itself.

3.16

specification language

formal language for defining the semantics of a service or an interface precisely and without ambiguity

3.17

unmarshalling

process of receiving and disassembling transferred parameters, and converting them if necessary, to prepare the values for further use

Note 1 to entry: This process is carried out by the called procedure on receipt of the actual parameters for the call, and by the caller on receipt of the returned results of the call.

Note 2 to entry: Unmarshalling can be regarded as being performed by a service provider when receiving input values from a service user, and by a service user when receiving results from a service provider, the service concerned being regarded as the procedure being called.

3.18

Z

<mathematics>complex numbers

Note 1 to entry: See ISO/IEC 10967-1.

3.19

Z

type of formal specification language (3.16)

Note 1 to entry: It is pronounced “zed”.

Note 2 to entry: See ISO/IEC 13568.

Bibliography

[1]ISO 2382 (all parts), Information technology — Vocabulary
[2]ISO 8807, Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
[3]ISO/IEC 90741, 1Information technology — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model Amendment
[4]ISO/IEC/TR 10034, Guidelines for the preparation of conformity clauses in programming language standards
[5]ISO/IEC/TR 10176, Information technology — Guidelines for the preparation of programming language standards
[6]ISO/IEC/TR 10182, Information technology — Programming languages, their environments and system software interfaces — Guidelines for language bindings
[7]ISO/IEC 10967-1, Information technology — Language independent arithmetic — 1: Integer and floating point arithmetic
[8]ISO/IEC 10967-2, Information technology — Language independent arithmetic — 2: Elementary numerical functions
[9]ISO/IEC 10967-3, Information technology — Language independent arithmetic — 3: Complex integer and floating point arithmetic and complex elementary numerical functions
[10]ISO/IEC 11404, Information technology — General-Purpose Datatypes (GPD)
[11]ISO/IEC 11578, Information technology — Open Systems Interconnection — Remote Procedure Call (RPC)
[12]ISO/IEC 13568, Information technology — Z formal specification notation — Syntax, type system and semantics
[13]ISO/IEC 13719, Information technology — Portable Common Tool Environment (PCTE)
[14]ISO/IEC 13817-1, Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — 1: Base language
[15]ISO/IEC 13886, Information technology — Language-Independent Procedure Calling (LIPC)
[16]ISO/IEC 14977, Information technology — Syntactic metalanguage — Extended BNF
[17]ISO/IEC/IEEE 60559, Information technology — Microprocessor Systems — Floating-Point arithmetic
[18]A taxonomy of datatypes published in ACM Sigplan Notices (Vol 29 No. 9, September 1994, pp 159–167)