ISO/IEC 10746-4:1998
情報技術、オープン分散処理、参照モデル: アーキテクチャ セマンティクス

規格番号

ISO/IEC 10746-4:1998

制定年

1998

出版団体

International Organization for Standardization (ISO)

状態

入れ替わる

に置き換えられる

ISO/IEC 10746-4:1998/Amd 1:2001

最新版

ISO/IEC 10746-4:1998/Amd 1:2001

範囲

分散処理の急速な成長により、オープン分散処理 (ODP) の標準化のための調整フレームワークの必要性が生じています。 ODP のこの参照モデルは、そのようなフレームワークを提供します。 これは、分散、インターワーキング、相互運用性、移植性のサポートを統合できるアーキテクチャを作成します。 オープン分散処理の基本参照モデル (RM-ODP) (ITU-T Recs. X.901 to X.904 | ISO/IEC 10746 を参照) は、現在の分散処理開発から導き出された正確な概念に基づいており、可能な限り、アーキテクチャの仕様に形式的な記述手法を使用することについて。 RM-ODP は以下で構成されます。 - ITU-T Rec. X.901 | ISO/IEC 10746-1: 概要: 重要な概念の把握、正当化、説明を行う ODP の動機付けとなる概要と、ODP アーキテクチャの概要が含まれています。 この部分は規範的なものではありません。 - ITU-T 勧告X.902 | ISO/IEC 10746-2: 基礎: 概念の定義、分析フレームワーク、および (任意の) 分散処理システムの正規化された記述のための表記法が含まれています。 これは、ITU-T Rec をサポートするのに十分な詳細レベルにすぎません。 X.903 | ISO/IEC 10746-3 および新しい仕様手法の要件を確立します。 この部分は規範的なものです。 - ITU-T 勧告X.903 | ISO/IEC 10746-3: アーキテクチャ: 分散処理をオープンとして認定するために必要な特性の仕様が含まれています。 これらは、ODP 標準が準拠する必要がある制約です。 ITU-T Rec. の記述手法を使用します。 X.902 | ISO/IEC 10746-2。 この部分は規範的なものです。 - ITU-T 勧告X.904 | ISO/IEC 10746-4: アーキテクチャ セマンティクス: ITU-T Rec. で定義された ODP モデリング概念の形式化が含まれています。 X.902 | ISO/IEC 10746-2、第 8 項および第 9 項、および ITU-T Rec. のビューポイント言語の形式化。 X.903 | ISO/IEC 10746-3。 形式化は、さまざまな標準化された形式的記述技術の構成の観点から各概念を解釈することによって達成されます。 この部分は規範的なものです。 この勧告の目的 |国際標準は、ODP のアーキテクチャ セマンティクスを提供することです。 これは基本的に、ITU-T Rec. の基本的なモデリングと仕様概念の解釈の形をとります。 X.902 | ISO/IEC 10746-2 および ITU-T Rec. の視点言語X.903 | ISO/IEC 10746-3。 さまざまな正式仕様言語のさまざまな機能を使用します。 アーキテクチャ セマンティクスは、LOTOS、ESTELLE、SDL、Z の 4 つの異なる形式仕様言語で開発されています。 その結果、ODP のアーキテクチャが形式化されます。 反復的な開発とフィードバックのプロセスを通じて、ITU-T Rec. の一貫性が向上しました。 X.902 | ISO/IEC 10746-2 および ITU-T Rec. X.903 | ISO/IEC 10746-3。 アーキテクチャ セマンティクスには、次の追加の利点があります。 - ODP システムの形式的記述の健全かつ統一された開発を支援する。 - 異なる形式仕様言語での同じ標準の形式記述の統一的かつ一貫した比較を可能にする。 ITU-T Rec. のすべての概念からのマッピングを提供するのではなく、 X.902 | ISO/IEC 10746-2、この推奨事項 |国際規格は最も基本的なものに焦点を当てています。 上位レベルのアーキテクチャ概念のセマンティクスは、基本的な ODP 概念に関する定義を通じて間接的に提供されます。 このレポートにおけるいくつかの正式仕様言語の使用例は、TR 10167 (ESTELLE、LOTOS、および SDL の適用ガイドライン) に記載されています。 以下の節では、ITU-T Rec. で使用されるスキームに従って概念に番号が付けられます。 X.902 | ISO/IEC 10746-2。 この推奨事項 |国際標準は、ODP のアーキテクチャ セマンティクスを指定します。 これは以下の目的で必要です。 - ODP モデリング概念の形式化を提供します。 - 分散システムの規格の正式な記述の健全かつ統一された開発を支援する。 - ODP モデリング概念とセマンの間の橋渡しとして機能します。

ISO/IEC 10746-4:1998 発売履歴

• 2001 ISO/IEC 10746-4:1998/Amd 1:2001 計算による形式化
• 1998 ISO/IEC 10746-4:1998 情報技術、オープン分散処理、参照モデル: アーキテクチャ セマンティクス