ISO/IEC 23004-6:2008 情報技術—マルチメディアミドルウェア—パート6:障害管理 | ページ 6

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

3 用語と定義

この文書の目的上、次の用語と定義が適用されます。

3.1 仕様の用語と定義

3.1.1

API仕様

コヒーレントなストリーミング関連機能へのアクセスを提供するソフトウェア インターフェイスのコレクションの仕様

3.1.2

インターフェーススイート

一貫した機能へのアクセスを提供する、相互に関連するインターフェイスのコレクション

3.1.3

論理コンポーネント

明示的なインターフェースのみを介して環境と対話する、一貫した機能単位

3.1.4

役割

動作のみを定義する抽象クラス

3.1.5

ロールインスタンス

ロールによって定義された動作を表示するオブジェクト

3.1.6

属性

ロールに関連付けられたインスタンス変数

注記 1: 属性は、状態情報を役割に関連付けるために使用されます。

3.1.7

サイン

IDLにおける型、インターフェース、関数などの仕様項目の構文構造の定義

注記 1: C 関数の場合、署名はプロトタイプと同等です。

3.1.8

仕様項目

仕様で定義されたエンティティ

注1データ型、役割、属性、インタフェース、機能は仕様項目の一例です。

3.1.9

修飾子

仕様項目に課せられるプロパティまたは制約を表す事前定義されたキーワード

3.1.10

制約

仕様項目に適用される制限

3.1.11

実行制約

マルチスレッド動作の制約

3.1.12

モデルタイプ

仕様 (モデリング) 目的のみに使用されるデータ型

注記 1: セット、マップ、およびエンティティーはモデル・タイプの例です。

3.1.13

モデル定数

仕様 (モデリング) 目的のみに使用される定数

3.1.14

enum要素の型

論理和によって最大 32 個の値のセット (ビット ベクトル) を構築するために値を使用できる列挙型

3.1.15

列挙型セットの型

列挙値のセットを表す 32 ビット整数データ型

3.1.16

セットタイプ

値が特定の型の値の数学的セットであるデータ型

注記 1: enum セットとは異なり、これらのセットは無限である可能性があります。

3.1.17

マップタイプ

値が、あるタイプ (ドメイン タイプ) の値を別のタイプ (範囲タイプ) の値にマッピングするテーブルであるデータ タイプ

注 1:マップは一種の一般化された配列です。

3.1.18

エンティティタイプ

属性が関連付けられている可能性のあるオブジェクトのクラス

3.1.19

インターフェースのロールモデル

論理コンポーネントに関連付けられた役割とインターフェイス、およびそれらの相互関係を示す拡張統一モデリング言語クラス図

3.1.20

論理コンポーネントインスタンス

論理コンポーネントの具体化: 論理コンポーネントによって定義された動作を表示するオブジェクトの構成

3.1.21

インターフェースを提供します

ロールまたはロールインスタンスによって提供されるインターフェース

3.1.22

インターフェースが必要です

ロールまたはロールインスタンスによって使用されるインターフェイス

3.1.23

専門化

行動の継承

役割による、別の役割によって定義された動作を暗示する動作の定義

注記 1:役割 S は、S によって定義された動作が R によって定義された動作を意味する場合、つまり S が R よりも特殊な動作をする場合、役割 R を特殊化します。

3.1.24

多様性

論理コンポーネントのインスタンス化時に設定でき、論理コンポーネントの存続期間中は変更されないすべてのパラメータのセット

3.1.25

必須インターフェース

ロールの各インスタンスによって実装される必要があるロールのインターフェイスを提供します

3.1.26

オプションのインターフェース

ロールの各インスタンスで実装する必要のないロールのインターフェイスを提供します

3.1.27

設定可能な項目

論理コンポーネントのインスタンス化時に設定できるパラメータ。通常はロール属性で表されます。

3.1.28

多様性の属性

設定可能な項目を表す role 属性

3.1.29

インスタンス化

ロールまたは論理コンポーネントのインスタンス (インカネーション) を作成するプロセス

3.1.30

初期状態

ロールインスタンスまたは論理コンポーネントインスタンスのインスタンス化直後の状態

3.1.31

観察可能な行動

論理コンポーネントの外部ソフトウェアおよびストリーミング インターフェイスで観察できる動作

3.1.32

関数の動作

ロールの提供インターフェイス内の関数の動作

3.1.33

ストリーミング動作

ロールに関連付けられたストリームの入出力動作

3.1.34

積極的な行動

ロールのインターフェイスを提供および要求するときに表示される自律的な動作

3.1.35

インスタンス化の動作

論理コンポーネントのインスタンス化時のロールの動作

3.1.36

独立した属性

他の属性やエンティティとは独立して値を定義または変更できる属性

3.1.37

依存属性

値が他の属性またはエンティティの値の関数である属性

3.1.38

不変

外部観察者の観点からは常に真となる、役割または論理コンポーネントに関するアサーション

注記 1: 実際には、この主張は一時的に違反される可能性があります。

3.1.39

コールバックインターフェース

論理コンポーネントによって関数が呼び出される論理コンポーネントのクライアントによって提供されるインターフェース

注記 1:通知インターフェースはこの例ですが、プラグインに関連付けられたものなど、他のコールバック・インターフェースも同様に存在する可能性があります。

3.1.40

コールバック準拠

コールバック インターフェイス内の関数が、呼び出し元をブロックしたり、呼び出し元をあまりにも長く遅らせたりするなど、望ましくない方法で呼び出し元の動作に干渉してはならないという一般的な制約

3.1.41

イベント通知

イベントの発生を「関心のある」オブジェクトに報告する行為

3.1.42

イベントのサブスクリプション

オブジェクトに通知すべきイベントの種類を記録する行為

3.1.43

クッキー

イベント サブスクリプションを識別するために使用される特別な整数値

注 1:クライアントは、イベントをサブスクライブするときに、論理コンポーネントに Cookie を渡します。論理コンポーネントは、イベントの発生を通知するときにクライアントに Cookie を返します。

3.1.44

イベントアクションテーブル

発生する可能性のあるイベントと、イベントに反応して実行されるアクションを関連付けたテーブル

注 1:これは、イベント駆動型の動作を指定するために使用されます。

3.1.45

非標準イベント通知

他のアクション(通知する論理コンポーネントの状態変化など)を伴うイベント通知

3.1.46

クライアントの役割

論理コンポーネントのユーザーのロールモデリング

3.1.47

俳優の役割

ロール (通常はクライアント ロール) のアクティブな動作は、呼び出しがいつ行われるかについて先験的な制約を持たずにインターフェイスで関数を呼び出すことで構成されます。

3.1.48

制御インターフェース

論理コンポーネントによって提供されるインターフェース。これにより、論理コンポーネントの機能をクライアントが制御できるようになります。

3.1.49

通知インターフェース

論理コンポーネントのクライアントによって提供され、イベントの発生をクライアントに報告するために論理コンポーネントによって使用されるインターフェース

3.1.50

特化したインターフェース

別のロールから継承され、R によってさらに制約されるロール R のインターフェイス

3.1.51

前提条件

関数が呼び出される直前に true である必要があるアサーション

3.1.52

アクション節

関数によって実行される抽象アクションを定義する拡張事前条件および事後条件仕様の一部

注 1:抽象アクションは、通常、どの変数が変更されるか、および/または関数によってどのアウトコールが行われるかを定義します。

3.1.53

アウトコール

別のオブジェクトのインターフェイス上でのオブジェクトの発信関数呼び出し

3.1.54

事後条件

関数が呼び出された直後に true になるアサーション

3.1.55

非同期関数

遅延効果のある機能

注 1:関数の効果は、関数呼び出しから戻ってからしばらくして発生します。

3.2 実現の用語と定義

3.2.1

エラー

障害につながる可能性のある望ましくないソフトウェアの状態

3.2.2

失敗

システムの提供されたサービスが正しいサービスから逸脱したときに発生するイベント

3.2.3

障害

エラーの推定または仮説上の原因

3.2.4

失敗の単位

障害が観察されるシステムのエンティティ

3.2.5

障害管理の単位

全体として障害管理の対象となるシステムの実体

3.2.6

仲介者

信頼できないサービスをラップするために使用される障害管理エンティティ

注 1:このラッパーは、フォールト・トレランス・メカニズムを挿入するために使用できます。

3.2.7

フォールトマネージャー

障害管理は、システム内のさまざまな仲介者間の障害管理を調整する責任を負います。

3.2.8

障害管理インスタンス化ポリシー

信頼できないサービスが要求されたときに仲介者のインスタンス化を可能にするランタイム環境の拡張機能

参考文献

1ISO/IEC 指令、 Part 2, 国際規格の構造と草案に関する規則、2001 年
2ISO/IEC TR 10000-1, 情報技術 — 国際標準化プロファイルのフレームワークと分類 — Part 1: 一般原則と文書化フレームワーク
3ISO 10241, 国際用語標準 - 準備とレイアウト
4ISO 128-30, 技術図面 — 表示の一般原則 — Part 30: ビューの基本規則
5ISO 128-34, 技術図面 — 表示の一般原則 — Part 34: 機械工学図面に関する見解
6ISO 128-40, 技術図面 — 表示の一般原則 — Part 40: カットとセクションの基本規則
7ISO 128-44, 技術図面 — 表示の一般原則 — Part 44: 機械工学図面に関するセクション
8ISO 3, 数量および単位
9IEC 6002, 電気技術で使用される文字記号
10ISO 1000, SI 単位、およびその倍数および他の特定の単位の使用に関する推奨事項
11ISO 690, ドキュメンテーション - 参考文献 - 内容、形式、構造
12ISO 690-2, 情報および文書 — 参考文献 — Part 2: 電子文書またはその一部
13ジャン=クロード・ラプリ、ブライアン・ランデル、アルギルダス・アヴィツィエニス、カール・ランドヴェーア。信頼性が高く安全なコンピューティングの基本概念と分類。 IEEE Trans.ディペンダブル・セキュア・コンピューティング、1, (1)、11-33ページ、2004年
14Wang Y-M, Huang Y, Vo K-P, Chung P-Y, Kintala C, チェックポイントとそのアプリケーション、Proc.第 25 回フォールト トレラント コンピューティングに関する国際シンポジウム (FTCS-25)、22 ~ 31 ページ、IEEE, 1995 年 6 月。

3 Terms and definitions

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

3.1 Specification terms and definitions

3.1.1

API specification

specification of a collection of software interfaces providing access to coherent streaming-related functionality

3.1.2

interface suite

collection of mutually related interfaces providing access to coherent functionality

3.1.3

logical component

coherent unit of functionality that interacts with its environment through explicit interfaces only

3.1.4

role

abstract class defining behavior only

3.1.5

role instance

object displaying the behavior defined by the role

3.1.6

attribute

instance variable associated with a role

Note 1 to entry: Attributes are used to associate state information with roles.

3.1.7

signature

definition of the syntactic structure of a specification item such as a type, interface or function in IDL

Note 1 to entry: For C functions, signature is equivalent to prototype.

3.1.8

specification item

entity defined in a specification

Note 1 to entry: Data type, role, attribute, interface and function are examples of specification items.

3.1.9

qualifier

predefined keyword representing a property or constraint imposed on a specification item

3.1.10

constraint

restriction that applies to a specification item

3.1.11

execution constraint

constraint on multi-threaded behavior

3.1.12

model type

data type used for specification (modeling) purposes only

Note 1 to entry: Set, map and entity are examples of model types.

3.1.13

model constant

constant used for specification (modeling) purposes only

3.1.14

enum element type

enumerated type whose values can be used to construct sets (bit vectors) of at most 32 values by logical or-ing

3.1.15

enum set type

32-bit integer data type representing sets of enumerated values

3.1.16

set type

data type whose values are mathematical sets of values of a specific type

Note 1 to entry: Unlike enum sets, these sets may be infinite.

3.1.17

map type

data type whose values are tables mapping values of one type (the domain type) to values of another type (the range type)

Note 1 to entry: Maps are a kind of generalized array.

3.1.18

entity type

class of objects that may have attributes associated with them

3.1.19

interface-role model

extended Unified Modeling Language class diagram showing the roles and interfaces associated with a logical component, and their mutual relations

3.1.20

logical component instance

incarnation of a logical component: a configuration of objects displaying the behavior defined by the logical component

3.1.21

provides interface

interface that is provided by a role or role instance

3.1.22

requires interface

interface that is used by a role or role instance

3.1.23

specialization

behavioral inheritance

definition, by a role, of behavior which implies the behavior defined by another role

Note 1 to entry: A role S specializes a role R if the behavior defined by S implies the behavior defined by R, i.e. if S has more specific behavior than R.

3.1.24

diversity

set of all parameters that can be set at instantiation time of a logical component, and that will not change during the lifetime of the logical component

3.1.25

mandatory interface

provides interface of a role that should be implemented by each instance of the role

3.1.26

optional interface

provides interface of a role that need not be implemented by each instance of the role

3.1.27

configurable item

parameter that can be set at instantiation time of a logical component, usually represented by a role attribute

3.1.28

diversity attribute

role attribute that represents a configurable item

3.1.29

instantiation

process of creating an instance (an incarnation) of a role or logical component

3.1.30

initial state

state of a role instance or logical component instance immediately after its instantiation

3.1.31

observable behavior

behavior that can be observed at the external software and streaming interfaces of a logical component

3.1.32

function behavior

behavior of the functions in the provides interfaces of a role

3.1.33

streaming behavior

input-output behavior of the streams associated with a role

3.1.34

active behavior

autonomous behavior that is visible at the provides and requires interfaces of a role

3.1.35

instantiation behavior

behavior of a role at instantiation time of a logical component

3.1.36

independent attribute

attribute whose value may be defined or changed independently of other attributes and entities

3.1.37

dependent attribute

attribute whose value is a function of the values of other attributes or entities

3.1.38

invariant

assertion about a role or logical component that is always true from an external observer’s point of view

Note 1 to entry: In reality, the assertion may temporarily be violated.

3.1.39

callback interface

interface provided by a client of a logical component whose functions are called by the logical component

Note 1 to entry: A notification interface is an example of this, but there may be other call-back interfaces as well, e.g. associated with plug-ins.

3.1.40

callback-compliance

general constraint that the functions in a callback interface should not interfere with the behavior of the caller in an undesirable way, such as by blocking the caller, or by delaying it too long

3.1.41

event notification

act of reporting the occurrence of events to ‘interested’ objects

3.1.42

event subscription

act of recording the types of event that should be notified to objects

3.1.43

cookie

special integer value that is used to identify an event subscription

Note 1 to entry: Clients pass cookies to a logical component when subscribing to events. Logical components pass cookies back to clients when notifying the occurrence of the events.

3.1.44

event-action table

table associating events that can occur to actions that will be performed in reaction to the events

Note 1 to entry: This is used to specify event-driven behavior.

3.1.45

non-standard event notification

event notification that is accompanied by other actions (such as state changes of the notifying logical component

3.1.46

client role

role modeling the users of a logical component

3.1.47

actor role

role (usually a client role) whose active behavior consists of calling functions in interfaces without any a priori constraints on when these calls will occur

3.1.48

control interface

interface provided by a logical component that allows the logical component’s functionality to be controlled by a client

3.1.49

notification interface

interface provided by a client of a logical component that is used by the logical component to report the occurrence of events to the client

3.1.50

specialized interface

interface of a role R that is inherited from another role and is further constrained by R

3.1.51

precondition

assertion that should be true immediately before a function is called

3.1.52

action clause

part of an extended precondition and postcondition specification defining the abstract action performed by a function

Note 1 to entry: The abstract action usually defines which variables are modified and/or which out-calls are made by the function.

3.1.53

out-call

An out-going function call of an object on an interface of another object

3.1.54

postcondition

assertion that will be true immediately after a function has been called

3.1.55

asynchronous function

function with a delayed effect

Note 1 to entry: The effect of the function will occur some time after returning from the function call.

3.2 Realization terms and definitions

3.2.1

error

unwanted software state that is liable to lead to a failure

3.2.2

failure

event that occurs when the delivered service of a system deviates from correct service

3.2.3

fault

adjudged or hypothesized cause of an error

3.2.4

unit of failure

entity of the system on which a failure can be observed

3.2.5

unit of fault management

entity of the system that will be subject to Fault Management as a whole

3.2.6

middleman

Fault Management entity used for wrapping untrusted services

Note 1 to entry: This wrapper can be used to insert fault tolerance mechanisms.

3.2.7

fault manager

Fault Management responsible for coordinating fault management between different middlemans in the system

3.2.8

fault management instantiation policy

extension to the runtime environment that enables instantiation of a middleman when an untrusted service is requested

Bibliography

1ISO/IEC Directives, Part 2, Rules for the structure and drafting of International Standards, 2001
2ISO/IEC TR 10000-1, Information technology — Framework and taxonomy of International Standardized Profiles — Part 1: General principles and documentation framework
3ISO 10241, International terminology standards — Preparation and layout
4ISO 128-30, Technical drawings — General principles of presentation — Part 30: Basic conventions for views
5ISO 128-34, Technical drawings — General principles of presentation — Part 34: Views on mechanical engineering drawings
6ISO 128-40, Technical drawings — General principles of presentation — Part 40: Basic conventions for cuts and sections
7ISO 128-44, Technical drawings — General principles of presentation — Part 44: Sections on mechanical engineering drawings
8ISO 31 (all parts), Quantities and units
9IEC 60027 (all parts), Letter symbols to be used in electrical technology
10ISO 1000, SI units and recommendations for the use of their multiples and of certain other units
11ISO 690, Documentation — Bibliographic references — Content, form and structure
12ISO 690-2, Information and documentation — Bibliographic references — Part 2: Electronic documents or parts thereof
13Jean-Claude Laprie, Brian Randell, Algirdas Avizienis, and Carl Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Computing, 1(1), pp. 11-33, 2004
14Wang Y.-M., Huang Y., Vo K.-P., Chung P.-Y., Kintala C., Checkpointing and its applications, in Proc. Twenty-fifth International Symposium on Fault-Tolerant Computing (FTCS-25), pp. 22-31, IEEE, June 1995.