ITU-T X.904 SPANISH-1997
情報技術、オープン分散処理、参照モデル: アーキテクチャ セマンティクス、X シリーズ: データ ネットワークとオープン システム通信、オープン分散処理。

規格番号
ITU-T X.904 SPANISH-1997
制定年
1997
出版団体
International Telecommunication Union (ITU)
範囲
この勧告︱国際標準は、ODP のアーキテクチャ セマンティクスを規定しています。 これは以下の目的で必要です。 - ODP モデリング概念の形式化を提供します。 - 分散システムの規格の正式な記述の健全かつ統一された開発を支援する。 - ODP モデリング概念と仕様言語 (LOTOS、SDL、ESTELLE、Z) のセマンティック モデルの間の橋渡しとして機能します。 - アーキテクチャのセマンティクスを開発するために使用される仕様言語での同じ標準の形式的記述間の統一的かつ一貫した比較の基礎を提供します。

ITU-T X.904 SPANISH-1997 規範的参照

  • ISO/IEC 13568 訂正事項 1 - 情報技術 - Z 形式仕様表記法 - 構文、型システム、およびセマンティクス
  • ISO/IEC 9074:1997 情報技術 オープンシステム相互接続 Estelle: 拡張状態遷移モデルに基づく形式的記述技術*1997-12-01 更新するには
  • ITU-T Z.100-1993 CCITT 仕様記述言語 (SDL) プログラミング言語 (研究グループ X) 244 ページ



© 著作権 2024