この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
序章
このおすすめ |国際標準は、ODP 参照モデルの不可欠な部分です。これには、ITU-T Rec. X.902 | ISO/IEC 10746-2 の 8 節と 9 節。形式化は、さまざまな標準化された形式的記述技法の構造の観点から各概念を解釈することによって達成されます。
このおすすめ |国際規格には、修正と技術報告書が添付されています。関連する修正は、ITU-T 勧告 X.903 に含まれる計算観点言語の形式化に焦点を当てています。 ISO/IEC 10746-関連するテクニカル レポートには、ODP 参照モデルの形式化を適用して仕様を開発する方法の例が含まれています。
Introduction
This Recommendation | International Standard is an integral part of the ODP Reference Model. It contains a formalisation of the ODP modeling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardised formal description techniques.
This Recommendation | International Standard is accompanied by an amendment and a technical report. The associated amendment focuses on the formalisation of the computational viewpoint language contained in ITU-T Rec. X.903 | ISO/IEC 10746-3. The associated technical report contains examples on how the formalisation of the ODP Reference Model can be applied to develop specifications.