この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
1 スコープ
分散処理の急速な成長により、Open Distributed Processing (ODP) の標準化のための調整フレームワークが必要になりました。この ODP の参照モデルは、そのようなフレームワークを提供します。配布、インターワーキング、相互運用性、および移植性のサポートを統合できるアーキテクチャを作成します。
Open Distributed Processing の基本参照モデル (RM-ODP) (ITU-T 勧告 X.901 から X.904 | ISO/IEC 10746 を参照) は、現在の分散処理の開発から導き出された正確な概念に基づいており、可能な限り、アーキテクチャの仕様のための正式な記述技術の使用について。
RM ODP は次のもので構成されます。
- ITU-T 勧告 X.901 | ISO/IEC 10746-1: 概要: 動機づけとなる ODP の概観、重要な概念のスクープ、正当化および説明、および ODP アーキテクチャの概要が含まれています。この部分は規範的ではありません。
- ITU-T 勧告 X.902 | ISO/IEC 10746-2: Foundations: 概念の定義と分析フレームワーク、および (任意の) 分散処理システムの正規化された説明の表記法が含まれています。これは、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-この部分は規範的です。
- ITU-T 勧告 X.904 | ISO/IEC 10746-4: アーキテクチャ セマンティクス: ITU-T Rec. X.902 | で定義されている ODP モデリング概念の形式化が含まれています。 ISO/IEC 10746-2 の 8 節と 9 節、および ITU-T Rec. X.903 の視点言語の形式化 | ISO/IEC 10746-形式化は、さまざまな標準化された形式的記述技法の構造の観点から各概念を解釈することによって達成されます。この部分は規範的です。
この勧告の目的 |国際標準は、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-
アーキテクチャ セマンティクスには、次の追加の利点があります。
- ODP システムの正式な記述の健全で統一された開発を支援する。他の
- 異なる形式仕様言語での同じ標準の形式記述の均一で一貫した比較を許可すること。
ITU-T Rec. X.902 のすべての概念からのマッピングを提供するのではなく | ISO/IEC 10746-2, この勧告 |国際規格は、最も基本的なものに焦点を当てています。上位レベルのアーキテクチャ概念のセマンティクスは、基本的な ODP 概念に関する定義を通じて間接的に提供されます。
このレポートで使用されている正式仕様言語の一部の使用例は、TR 10167 (ESTELLE, LOTOS, および SDL の適用に関するガイドライン) に記載されています。
以下の節では、ITU-T Rec. X.902 | ISO/IEC 10746-
このおすすめ |国際標準は、ODP のアーキテクチャ セマンティクスを指定します。これは、次の場合に必要です。
- ODP モデリングの概念の形式化を提供します。
- 分散システムの標準の正式な記述の健全で統一された開発を支援します。
- ODP モデリングの概念と仕様言語のセマンティック モデルとの間の架け橋として機能します: LOTOS, SDL, ESTELLE, および
- アーキテクチャのセマンティクスを開発するために使用される仕様言語で、同じ標準の正式な記述間の統一的かつ一貫した比較の基礎を提供します。
この部分は規範的です。
1 Scope
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a framework. It creates an architecture within which support of distribution, interworking, interoperability and portability can be integrated.
The Basic Reference Model of Open Distributed Processing (RM-ODP), (see ITU-T Recs. X.901 to X.904 | ISO/IEC 10746), is based on precise concepts derived from current distributed processing developments and, as far as possible, on the use of formal description techniques for specification of the architecture.
The RM-ODP consists of:
- ITU-T Rec. X.901 | ISO/IEC 10746-1: Overview: Contains a motivational overview of ODP giving scooping, justification and explanation of key concepts, and an outline of ODP architecture. This part is not normative.
- ITU-T Rec. X.902 | ISO/IEC 10746-2: Foundations: Contains the definition of the concepts and analytical framework and notation for normalized description of (arbitrary) distributed processing systems. This is only to a level of detail sufficient to support ITU-T Rec. X.903 | ISO/IEC 10746-3 and to establish requirements for new specification techniques. This part is normative.
- ITU-T Rec. X.903 | ISO/IEC 10746-3: Architecture: Contains the specification of the required characteristics that qualify distributed processing as open. These are the constraints to which ODP standards must conform. It uses the descriptive techniques from ITU-T Rec. X.902 | ISO/IEC 10746-2. This part is normative.
- ITU-T Rec. X.904 | ISO/IEC 10746-4: Architectural Semantics: Contains a formalisation of the ODP modeling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9, and a formalisation of the viewpoint languages of ITU-T Rec. X.903 | ISO/IEC 10746-3. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardized formal description techniques. This part is normative.
The purpose of this Recommendation | International Standard is to provide an architectural semantics for ODP. This essentially takes the form of an interpretation of the basic modeling and specification concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2 and viewpoint languages of ITU-T Rec. X.903 | ISO/IEC 10746-3, using the various features of different formal specification languages. An architectural semantics is developed in four different formal specification languages: LOTOS, ESTELLE, SDL and Z. The result is a formalization of ODP's architecture. Through a process of iterative development and feedback, this has improved the consistency of ITU-T Rec. X.902 | ISO/IEC 10746-2 and ITU-T Rec. X.903 | ISO/IEC 10746-3.
An architectural semantics provides the additional benefits of:
- assisting the sound and uniform development of formal descriptions of ODP systems; and
- of permitting uniform and consistent comparison of formal descriptions of the same standard in different formal specification languages.
Rather than provide a mapping from all the concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2, this Recommendation | International Standard focuses on the most basic. A semantics for the higher level architectural concepts is provided indirectly through their definition in terms of the basic ODP concepts.
Examples of the use of some of the formal specification languages in this report can be found in TR 10167 (Guidelines for the Application of ESTELLE, LOTOS and SDL).
In the following clauses, the concepts are numbered in accordance with the scheme used in ITU-T Rec. X.902 | ISO/IEC 10746-2.
This Recommendation | International Standard specifies an architectural semantics for ODP. This is required to:
- provide formalisation of the ODP modelling concepts;
- assist sound and uniform development of formal descriptions of standards for distributed systems;
- act as a bridge between the ODP modelling concepts and the semantic models of the specification languages: LOTOS, SDL, ESTELLE and Z;
- provide a basis for uniform and consistent comparison between formal descriptions of the same standard in specification languages that are used to develop an architectural semantics.
This part is normative.