6
X 0131-1995 (ISO/IEC 11411 : 1995)
(c) 初期・終了状態 初期状態は,同時に終了状態になることもできる。この場合の状態の表記法を,次
に示す。
(d) 中間状態 この状態の表記法を,次に示す。
5.1.2.2 遷移 遷移は,交差部分で示す。
動作部及び移先状態番号は,交差部に記述する。
(a) 別状態への遷移 ある状態から別の状態への遷移の表記法を,次に示す。
――――― [JIS X 0131 pdf 6] ―――――
7
X 0131-1995 (ISO/IEC 11411 : 1995)
状態番号と遷移先状態番号とは,異なる状態を示す。
(b) 自状態への遷移 自状態への遷移の場合,遷移先状態番号は,遷移元状態番号と同じとする。
5.2 規則
表の規則 : 許されるいろいろな表記法を,次に示す。
(a) 遷移先状態識別子としての状態名の使用 状態遷移表で状態名を使用して状態を探すことが容易なと
きには,交差部に記述する遷移先状態の識別子として,状態番号の代わりに状態名を使用してもよい。
この場合,5.1.2.1で定義している状態番号部分は省略できる。
(b) 遷移における動作部の省略 遷移における動作部は,遷移に伴って実行される動作がない場合又は動
作を示す必要がない場合には,空欄にしてもよい。
5.3 用法と制限事項
5.3.1 製図 手書きする場合の記号も,機械によって記述する場合の記号も,5.1.2と同じとする。
5.3.2 様式 状態の位置と条件の位置とは,交換してもよい。この規格は,特別な様式の用紙を規定しな
い。
――――― [JIS X 0131 pdf 7] ―――――
8
X 0131-1995 (ISO/IEC 11411 : 1995)
附属書A(参考) 状態遷移図の例
付図A 状態遷移図による対話プロセス
――――― [JIS X 0131 pdf 8] ―――――
9
X 0131-1995 (ISO/IEC 11411 : 1995)
附属書B(参考) 状態遷移表の例
付図B 状態遷移表による対話プロセス
――――― [JIS X 0131 pdf 9] ―――――
10
X 0131-1995 (ISO/IEC 11411 : 1995)
附属書C(参考) 参考文献
1. Zohar Manna, Mathematical theory of computation, 1974, McGraw−Hill Inc.
2. Paul T Ward, Stephen J Mellor, Structured development for real-time systems, 1985, Prentice Hall.
3. Edward Yourdon, Modern structured analysis, 1989, Yourdon Press.
4. Wilfried Brauer, Net theory and application, Proceedings of the advanced course on general net theory of
processes and systems, Hamburg, October 1979, Springer.
この規格の利用者は,状態遷移に基づく技術に関連する他の二つの規格を参照することができる。
1. ITU-T Recommendation Z. 100 and Z. 120 ITU-T Specification and Description Language (SDL).
(SDL-GRと呼ばれる図表現をもつ。)
2. ISO 9074 : 1989
Information processing systems−Open Systems Interconnection−Estelle : A formal description technique
based on extended state transition model.
(普通,ESTELLEとして参照される。)
備考 SDL-GRは,主に遠隔通信の分野で使用され,この分野に特化した豊富な機能をもつ。こ
の規格は,より一般的であり,SDL-GRの基礎となるかもしれない。
原案作成委員会 構成表
氏名 所属
(主査) 宮 本 和 靖 株式会社日立マイクロソフトウェアシステムズ
(幹事) 篠 木 裕 二 株式会社日立製作所
秋 山 義 弘 金沢工業大学
斎 直 人 日本電信電話株式会社
加 藤 潤 三 エレクトロニック・データ・システムズ株式会社
岸 知 二 日本電気株式会社
末 竹 義 郎 沖電気工業株式会社
杉 崎 信 彦 富士通株式会社
高 杉 秀 樹 三菱電機株式会社
俊 成 清 博 エヌ・ティ・ティ・データ通信株式会社
松 本 一 教 株式会社東芝
山 本 喜 一 慶應義塾大学
梅 沢 茂 之 工業技術院標準部
栗 川 正 仁 工業技術院標準部
山 形 薫 財団法人日本規格協会
JIS X 0131:1995の引用国際規格 ISO 一覧
- ISO/IEC 11411:1995(IDT)