この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 つの定義
3.1 ISO/IEC 8807 の定義
このおすすめ |国際規格では、ISO/IEC 8807 で定義されている次の用語を使用しています。
アクション表示、パラメーターの実現、動作表現、選択、適合性、無効化、有効化、強化、方程式、イベント、拡張、正式なゲート リスト、正式なパラメーター リスト、ゲート、ゲートの非表示、ガード、インスタンス化、インターリービング、内部観測可能イベント、操作、並列構成、パラメーター化された型定義、プロセス定義、リダクション、選択述語、並べ替え、同期、型定義、値パラメーター リスト。
3.2 ITU-T 勧告 Z.100 の定義
このおすすめ |国際規格では、ITU-T Rec. Z.100 で定義されている次の用語を使用しています。
action ステートメント、active, atleast, bloc, call, channel, content パラメータ、continuous signal, create, enable condition, export, exported procedure, exported variable, finalized, gate, import, import variable, input, nextstate, nodelay, 現在、出力、手順、プロセス (タイプ)、提供、再定義、リモート プロシージャ、リセット、リターン、明らかにされた変数、サービス (タイプ)、セット、シグナル、シグナル ルート、停止、システム (タイプ)、タスク、時間、タイマー、 transition 、 view 、表示された変数、 virtual 。
3.3 Z-Base 規格からの定義
このおすすめ | International Standard では、Z-Base Standard で定義されている次の用語を使用しています。
公理的記述、結合、データ改良、不変、操作改良、オーバーライド、事後条件、前提条件、スキーマ (操作、状態、フレーミング)、スキーマ計算、スキーマ構成。
3.4 ISO/IEC 9074 の定義
このおすすめ |国際規格では、ISO/IEC 9074 で定義されている次の用語を使用しています。
アクティビティ、割り当てステートメント、アタッチ、チャネル、チャネル定義、接続、制御状態、DELAY 句、デタッチ、切断、エクスポートされた変数、外部相互作用ポイント、FROM 句、関数、init, インスタンス化、相互作用、相互作用ポイント、モジュール本体定義、モジュールヘッダー定義、モジュール インスタンス、出力、親インスタンス、プリミティブ プロシージャ、プロシージャ、PROVIDED 句、リリース、ロール、システム アクティビティ、システム プロセス、TO 句、遷移、遷移ブロック、遷移句、WHEN 句。
3 Definitions
3.1 Definitions from ISO/IEC 8807
This Recommendation | International Standard makes use of the following terms defined in ISO/IEC 8807:
action denotation, actualisation of parameters, behaviour expression, choice, conformance, disabling, enabling, enrichment, equation, event, extension, formal gate list, formal parameter list, gate, gate hiding, guard, instantiation, interleaving, internal observable event, operation, parallel composition, parameterised type definition, process definition, reduction, selection predicate, sort, synchronisation, type definition, value parameter list.
3.2 Definitions from ITU-T Recommendation Z.100
This Recommendation | International Standard makes use of the following terms defined in ITU-T Rec. Z.100:
action statement, active, atleast, block (type), call, channel, content parameter, continous signal, create, enabling condition, export, exported procedure, exported variable, finalized, gate, import, imported variable, input, nextstate, nodelay, now, output, procedure, process (type), provided, redefined, remote procedure, reset, return, revealed variable, service (type), set, signal, signalroute, stop, system (type), task, time, timer, transition, view, viewed variable, virtual.
3.3 Definitions from the Z-Base Standard
This Recommendation | International Standard makes use of the following terms defined in the Z-Base Standard:
axiomatic description, conjunction, data refinement, invariant, operation refinement, overriding, postcondition, precondition, schema (operation, state, framing), schema calculus, schema composition.
3.4 Definitions from ISO/IEC 9074
This Recommendation | International Standard makes use of the following terms defined in ISO/IEC 9074:
activity, assignment statement, attach, channel, channel definition, connect, control state, DELAY-Clause, detach, disconnect, exported variable, external interaction point, FROM-Clause, function, init, instantiation, interaction, interaction point, module body definition, module header definition, module instance, output, parent instance, primitive procedure, procedure, PROVIDED-Clause, release, role, systemactivity, systemprocess, TO-Clause, transition, transition block, transition clause, WHEN-clause.