この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
序章
このおすすめ |国際標準は、ODP Type Repository Function (ITU-T Rec. X.903 | ISO/IEC 10746-3 の 14.4 節) を規定して、型記述の識別されたフレームワーク内での型記述の保存、検索、および管理をサポートします。
ITU-T 勧告 X.902 | ISO/IEC 10746-2 は、9.7 節でタイプの一般的な定義を提供します。この定義により、任意の述語を使用した型の記述が可能になります。 ITU-T 勧告 X.903 | ISO/IEC 10746-3 は、特定の視点に固有の多くのターゲット概念を導入しています。このおすすめ |国際標準は、w で定義された概念に基づく型定義の確立をサポートしています。
このおすすめ |国際標準は、ISO/IEC 10746-3 で概説されている ODP 関数で使用する型記述を有効にします。型の記述は、あらゆる観点からの仕様で発生する可能性があります。たとえば、エンタープライズ仕様はエンタープライズ型を導入できます。このおすすめ |国際標準は、特に ODP 計算および工学視点タイプのニーズに対応していますが、他の視点言語からの型記述をサポートすることができます。
このおすすめ |国際標準では、複数の型記述言語の使用が許可されています。 CORBA IDL, ASN.1, LOTOS, GDMO, SDLなど、型記述に広く使用され、標準化された言語が多数あり、ODP-RMの型記述の要件の一部を満たしています。このおすすめ |国際標準は、単一の包括的な型言語を定義していません。ユーザーは、既存の言語または他の ODP 勧告内で定義された言語のいずれかを使用できます。国際規格。附属書 B は、ターゲット概念の大規模なセットをサポートする言語を概説する有益な附属書です。
このおすすめ | International Standard は、型 Type を持つ型システムをサポートしています (たとえば、ODP 計算言語のように型をパラメーターとして渡します)
ITU-T 勧告 X.903 | ISO/IEC 10746-3 は、計算操作インターフェース署名タイプ間のサブタイプ関係を定義します。このおすすめ |国際標準は、動作と環境のコントラクトの分析を含む、タイプ間のさまざまな関係をサポートしていますが、そのような関係の定義は、この勧告の範囲内ではありません。国際規格。型間の関係は、断定または推定できます。すべての関係 (同等性を含む) が常に自動的に推定できるわけではないことが認識されています。ただし、該当する場合はいつでも自動控除を奨励する必要があります。
タイプ リポジトリ機能は、これらの「簡略化された」表現をドメイン間で (つまり、異なるタイプ リポジトリを使用するオブジェクト間で) 送信できるようにするために、タイプへの識別子の割り当てをサポートします。
タイプ リポジトリ機能は、タイプ ドメインの概念を明確にすることによって、タイプ リポジトリ機能の分散をサポートするために、インターワーキングとフェデレーションに対処します。この機能は、同等の型システムを扱う型ドメインのフェデレーションと、異なる型システムを扱う型ドメインのフェデレーションの両方をサポートします。
Introduction
This Recommendation | International Standard prescribes the ODP Type Repository Function (subclause 14.4 of ITU-T Rec. X.903 | ISO/IEC 10746-3) to support the storage, retrieval and management of type descriptions within an identified framework for type descriptions.
ITU-T Rec. X.902 | ISO/IEC 10746-2 provides a general definition of type in subclause 9.7; this definition allows the description of types using any predicate. ITU-T Rec. X.903 | ISO/IEC 10746-3 introduces a number of target concepts specific to particular viewpoints. This Recommendation | International Standard supports the establishment of type definitions based on the concepts defined w.
This Recommendation | International Standard enables type descriptions for use by the ODP functions outlined in ISO/IEC 10746-3. Type descriptions can occur in specifications from any viewpoint, e.g. enterprise specification can introduce enterprise types. This Recommendation | International Standard specifically addresses the needs of the ODP computational and engineering viewpoint types, but is capable of supporting type descriptions coming from other viewpoint languages.
This Recommendation | International Standard permits the use of multiple type description languages. There are a number of widely used and standardized languages for type description, for example CORBA IDL, ASN.1, LOTOS, GDMO and SDL, which fulfil some of the requirements of type descriptions in ODP-RM. This Recommendation | International Standard does not define a single all-encompassing type language. Users can use either existing languages or languages defined within other ODP Recommendations | International Standards. Annex B is an informative annex outlining languages that support large sets of target concepts.
This Recommendation | International Standard supports type systems with a type Type (e.g. pass type as parameters as in the ODP computational language).
ITU-T Rec. X.903 | ISO/IEC 10746-3 defines a subtype relationship between computational operational interface signature types. This Recommendation | International Standards supports a wider variety of relationships between types, which might include the analysis of behaviour and environment contracts, but the definition of such relationships is not within the scope of this Recommendation | International Standard. Relationships between types can either be asserted or deduced. It is recognized that not all relationships (including equivalence) can always be automatically deduced. However, automatic deduction should be encouraged whenever applicable.
The type repository function supports the allocation of identifiers to types in order to allow the transmission of these"shorthand" representations across domains (i.e. between objects using different type repositories).
The type repository function addresses interworking and federation to support the distribution of the type repository function by clarifying the notion of type domains. This function supports both federation of type domains handling equivalent type systems and federation of type domains handling different type systems.