SIS SS-ISO 9074:1989
情報処理システム。 オープンシステム相互接続。 継続状態遷移モデル（Estelle） 継続状態遷移モデルに基づく形式記述技術

規格番号

SIS SS-ISO 9074:1989

制定年

1989

出版団体

SE-SIS

最新版

SIS SS-ISO 9074:1989

範囲

この初期標準は、形式記述技術エステルの意味論と構文を規定しています。 Estelle は一般に、分散型同時情報処理システムの形式的な記述に使用されます。 特に、Estelle は、ISO 7498 に記述されているオープン システム相互接続の層のサービス定義とプロトコル仕様を記述するために正式に使用できます。 この国際規格は、Estelle で記述された仕様の検証方法を規定していません。

SIS SS-ISO 9074:1989 発売履歴

• 1989 SIS SS-ISO 9074:1989 情報処理システム。 オープンシステム相互接続。 継続状態遷移モデル（Estelle） 継続状態遷移モデルに基づく形式記述技術