JPH04152473A - 状態遷移図作成装置 - Google Patents
状態遷移図作成装置Info
- Publication number
- JPH04152473A JPH04152473A JP2278183A JP27818390A JPH04152473A JP H04152473 A JPH04152473 A JP H04152473A JP 2278183 A JP2278183 A JP 2278183A JP 27818390 A JP27818390 A JP 27818390A JP H04152473 A JPH04152473 A JP H04152473A
- Authority
- JP
- Japan
- Prior art keywords
- transition
- state
- storage means
- name
- post
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000007704 transition Effects 0.000 title claims abstract description 275
- 238000010586 diagram Methods 0.000 title claims abstract description 87
- 238000000034 method Methods 0.000 description 18
- 150000003839 salts Chemical class 0.000 description 7
- 239000003086 colorant Substances 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 230000010365 information processing Effects 0.000 description 1
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
［産業上の利用分野〕
本発明は、状態遷移情報の編集２表示を行うシステムの
、状態遷移表から自動的に状態遷移図を作成する装置に
関するものである。
、状態遷移表から自動的に状態遷移図を作成する装置に
関するものである。
状態遷移情報の編集１表示を行うシステムにおいては、
第８図に示すような状態遷移表、第１４図に示すような
状態遷移図が用いられることが多い。
第８図に示すような状態遷移表、第１４図に示すような
状態遷移図が用いられることが多い。
第８図では、遷移前状態の欄に記載された状態Ｓ１、Ｓ
２において、その行に対応する入力ａ、ｂ。
２において、その行に対応する入力ａ、ｂ。
ｃ、ｄ、ｅがあれば、その行に対応する遷移後状態Ｓ２
．Ｓ３．Ｓ４に移行することを示している。
．Ｓ３．Ｓ４に移行することを示している。
第１４図では、アークの起点にある状態で入力があれば
、アークの終点にある状態に移行することを示している
。第１４図においては、アークの移行に対応する入力が
、アークにラベルづけされることもある。
、アークの終点にある状態に移行することを示している
。第１４図においては、アークの移行に対応する入力が
、アークにラベルづけされることもある。
従来、状態遷移図で編集したデータを状態遷移表に変換
することはできたが、状態遷移表で編集したデータは、
状態遷移表のままか、またはアークを一部省略した不完
全な状態遷移図でしか見ることができなかった。この理
由は、第１４図に示すような状態遷移図は、状態を示す
ノードの配置決定が困難、ノード間の遷移を示すアーク
が他のノードに重なることを避けるのが困難などの理由
で（例えば第１４図において８１から８４へのアークを
直線で描くと５２に重なってしまう）、自動的に作成す
ることが非常に困難であったためである。
することはできたが、状態遷移表で編集したデータは、
状態遷移表のままか、またはアークを一部省略した不完
全な状態遷移図でしか見ることができなかった。この理
由は、第１４図に示すような状態遷移図は、状態を示す
ノードの配置決定が困難、ノード間の遷移を示すアーク
が他のノードに重なることを避けるのが困難などの理由
で（例えば第１４図において８１から８４へのアークを
直線で描くと５２に重なってしまう）、自動的に作成す
ることが非常に困難であったためである。
状態遷移表で編集を行う方法に関しては、例えば情報処
理学会第３９回合国大会論文集ｐｐ、１４５７−１４５
８、神場他「画面シミュレータＵ−ｆａｃｅの試作Ｊ
（１９８９）に、状態遷移図を用いて編集を行って状
態遷移表または状態遷移図を表示する方法に関しては、
例えば特開平１−１５２５７６号公報「状態遷移情報編
集方式に」、状態遷移表から状態遷移図を作成する際の
問題点については、システム／制′ａ／情報、ＶｏＬ３
３． Ｎｏ、Ｉｌ、 ｐｐ、５５９−５６７ 、杉山「
良い図をいかにして生成するか？」に述べられている。
理学会第３９回合国大会論文集ｐｐ、１４５７−１４５
８、神場他「画面シミュレータＵ−ｆａｃｅの試作Ｊ
（１９８９）に、状態遷移図を用いて編集を行って状
態遷移表または状態遷移図を表示する方法に関しては、
例えば特開平１−１５２５７６号公報「状態遷移情報編
集方式に」、状態遷移表から状態遷移図を作成する際の
問題点については、システム／制′ａ／情報、ＶｏＬ３
３． Ｎｏ、Ｉｌ、 ｐｐ、５５９−５６７ 、杉山「
良い図をいかにして生成するか？」に述べられている。
前述のように、従来、状態遷移表で編集した結果を完全
な形で見やすい状態遷移図を用いて表示することはでき
なかった。しかし実際には、状態遷移表はテキストのみ
を入力することで容易に編集できるのに対し、状態遷移
図は図形の入力を行う必要があるので編集はやや困難で
ある。また、状態遷移図は図情報なので人間にとって一
目でわかりやすく表示に適しているのに対し、状態遷移
表は一目で状態遷移情報全体を把握することが困難であ
る。つまり、状態遷移情報は、状態遷移表によって編集
して状態遷移図によって表示することが適切であるにも
かかわらず、それが非常に困難であるという課題があっ
た。
な形で見やすい状態遷移図を用いて表示することはでき
なかった。しかし実際には、状態遷移表はテキストのみ
を入力することで容易に編集できるのに対し、状態遷移
図は図形の入力を行う必要があるので編集はやや困難で
ある。また、状態遷移図は図情報なので人間にとって一
目でわかりやすく表示に適しているのに対し、状態遷移
表は一目で状態遷移情報全体を把握することが困難であ
る。つまり、状態遷移情報は、状態遷移表によって編集
して状態遷移図によって表示することが適切であるにも
かかわらず、それが非常に困難であるという課題があっ
た。
本発明の目的は、このような課題を解決した状態遷移図
作成装置を提供することにある。
作成装置を提供することにある。
第１の発明は、状態遷移表から状態遷移図を作成する状
態遷移図作成装置であって、 前記状態遷移表を記憶する状態遷移表記憶手段と、 この状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶されたすべての遷移前状態塩の前記状態遷移図中に
おける位置を計算する遷移前状態名配置計算手段と、 この遷移前状態名配置計算手段によって計算された前記
遷移前状態塩の位置を記憶する遷移前状態名配置記憶手
段と、 前記状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶されたすべての遷移後状態名の前記状態遷移図中に
おける位置を計算する遷移後状態名配置計算手段と、 この遷移後状態名配置計算手段によって計算された前記
遷移後状態名の位置を記憶する遷移後状態名配置記憶手
段と、 前記状態遷移表記憶手段と前記遷移前状態名配置記憶手
段と前記遷移後状態名配置記憶手段とを参照し、すべて
の状態遷移を示すアークの位置を計算するアーク配置計
算手段とから成ることを特徴とする。
態遷移図作成装置であって、 前記状態遷移表を記憶する状態遷移表記憶手段と、 この状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶されたすべての遷移前状態塩の前記状態遷移図中に
おける位置を計算する遷移前状態名配置計算手段と、 この遷移前状態名配置計算手段によって計算された前記
遷移前状態塩の位置を記憶する遷移前状態名配置記憶手
段と、 前記状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶されたすべての遷移後状態名の前記状態遷移図中に
おける位置を計算する遷移後状態名配置計算手段と、 この遷移後状態名配置計算手段によって計算された前記
遷移後状態名の位置を記憶する遷移後状態名配置記憶手
段と、 前記状態遷移表記憶手段と前記遷移前状態名配置記憶手
段と前記遷移後状態名配置記憶手段とを参照し、すべて
の状態遷移を示すアークの位置を計算するアーク配置計
算手段とから成ることを特徴とする。
第２の発明は、第１の発明において、前記アーク配置計
算手段が、遷移情報記憶手段と、この遷移情報記憶手段
を参照し、アーク情報を作成するアーク情報作成手段と
の２つとで置換されて成ることを特徴とする。
算手段が、遷移情報記憶手段と、この遷移情報記憶手段
を参照し、アーク情報を作成するアーク情報作成手段と
の２つとで置換されて成ることを特徴とする。
第３の発明は、状態遷移表から状態遷移図を作成する状
態遷移図作成装置であって、 前記状態遷移表を記憶する状態遷移表記憶手段と、 この状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶された全状態名の集合を作成する全状態名集合作成
手段と、 この全状態名集合作成手段によって作成された前記全状
態名の集合を参照し、前記状態遷移図中におけるすべて
の遷移前状態塩の位置を計算する遷移前状態名配置計夏
手段と、 この遷移前状態名配置計夏手段によって計算された前記
遷移前状態塩の位置を記憶する遷移前状態名配置記憶手
段と、 前記全状態名集合作成手段によって作成された前記全状
態名を参照し、前記状態遷移図中におけるすべての遷移
後状態名の位置を計算する遷移後状態名配置計算手段と
、 この遷移後状態名配置計算手段によって計算された前記
遷移後状態名の位置を記憶する遷移後状態名配置記憶手
段と、 前記状態遷移表記憶手段と前記遷移前状態名配置記憶手
段と前記遷移後状態名配置記憶手段とを参照し、すべて
の状態遷移を示すアークの位置を計算するアーク配置計
算手段とから成ることを特徴とする。
態遷移図作成装置であって、 前記状態遷移表を記憶する状態遷移表記憶手段と、 この状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶された全状態名の集合を作成する全状態名集合作成
手段と、 この全状態名集合作成手段によって作成された前記全状
態名の集合を参照し、前記状態遷移図中におけるすべて
の遷移前状態塩の位置を計算する遷移前状態名配置計夏
手段と、 この遷移前状態名配置計夏手段によって計算された前記
遷移前状態塩の位置を記憶する遷移前状態名配置記憶手
段と、 前記全状態名集合作成手段によって作成された前記全状
態名を参照し、前記状態遷移図中におけるすべての遷移
後状態名の位置を計算する遷移後状態名配置計算手段と
、 この遷移後状態名配置計算手段によって計算された前記
遷移後状態名の位置を記憶する遷移後状態名配置記憶手
段と、 前記状態遷移表記憶手段と前記遷移前状態名配置記憶手
段と前記遷移後状態名配置記憶手段とを参照し、すべて
の状態遷移を示すアークの位置を計算するアーク配置計
算手段とから成ることを特徴とする。
第４の発明は、第３の発明において、前記アーク配置計
算手段が、遷移情報記憶手段と、この遷移情報記憶手段
を参照し、アーク情報を作成するアーク情報作成手段と
の２つとで置換されて成ることを特徴とする。
算手段が、遷移情報記憶手段と、この遷移情報記憶手段
を参照し、アーク情報を作成するアーク情報作成手段と
の２つとで置換されて成ることを特徴とする。
第１の発明の作用を、第８図、第１０図を例として説明
する。第８図に示すような状態遷移表がある場合、第１
の発明の状態遷移図作成装置は、状態遷移表の各行を順
に読み込んで、それが初めて出現する遷移であればそれ
を第１０図のようなｘｙ平面上に順に追加する。遷移前
状態塩と遷移後状態名とは別の列に記入し、遷移を示す
アークを、遷移前状態塩と遷移後状態名をつなぐように
表示する。以上を終了すると、第１０図に示すような状
態遷移図が作成される。
する。第８図に示すような状態遷移表がある場合、第１
の発明の状態遷移図作成装置は、状態遷移表の各行を順
に読み込んで、それが初めて出現する遷移であればそれ
を第１０図のようなｘｙ平面上に順に追加する。遷移前
状態塩と遷移後状態名とは別の列に記入し、遷移を示す
アークを、遷移前状態塩と遷移後状態名をつなぐように
表示する。以上を終了すると、第１０図に示すような状
態遷移図が作成される。
第２の発明の作用を、第８図、第９図、第１１図を例と
して説明する。第８図に示すような状態遷移表がある場
合、第２の発明の状態遷移図作成装置は、状態遷移表の
すべての行を読み込んで、第９図に示すような遷移情報
として登録する。これは、状態遷移とそれが出現する回
数を示したものである。次に、遷移前状態基、遷移後状
態名、遷移を示すアークを第１１図のようなｘｙ平面上
に順に出力する。遷移前状態塩と遷移後状態名の記入方
法は第１の発明の場合と同じであり、遷移を示すアーク
は、遷移情報として記録された出現回数に応じて太さな
どの属性を変化させる。第１１図の例では、遷移の出現
回数が多いものに、太いアークを割り当てている。以上
を終了すると、第１１図に示すような状態遷移図が作成
される。
して説明する。第８図に示すような状態遷移表がある場
合、第２の発明の状態遷移図作成装置は、状態遷移表の
すべての行を読み込んで、第９図に示すような遷移情報
として登録する。これは、状態遷移とそれが出現する回
数を示したものである。次に、遷移前状態基、遷移後状
態名、遷移を示すアークを第１１図のようなｘｙ平面上
に順に出力する。遷移前状態塩と遷移後状態名の記入方
法は第１の発明の場合と同じであり、遷移を示すアーク
は、遷移情報として記録された出現回数に応じて太さな
どの属性を変化させる。第１１図の例では、遷移の出現
回数が多いものに、太いアークを割り当てている。以上
を終了すると、第１１図に示すような状態遷移図が作成
される。
第３の発明の作用を、第８図、第１２図を例として説明
する。第８図に示すような状態遷移表がある場合、第３
の発明の状態遷移図作成装置は、状態遷移表のすべての
行を読み込んで、出現する全状態名の集合を作成して出
力する。全状態名とは、遷移前状態基、遷移後状態名と
のどちらかに出現する状態すべての集合をとったもので
ある。次に、状態遷移表の各行に記載された状態遷移に
対応するアークを出力する。この方法については、第１
の発明の場合と同様である。以上を終了すると、第１２
図に示すような状態遷移図が作成される。
する。第８図に示すような状態遷移表がある場合、第３
の発明の状態遷移図作成装置は、状態遷移表のすべての
行を読み込んで、出現する全状態名の集合を作成して出
力する。全状態名とは、遷移前状態基、遷移後状態名と
のどちらかに出現する状態すべての集合をとったもので
ある。次に、状態遷移表の各行に記載された状態遷移に
対応するアークを出力する。この方法については、第１
の発明の場合と同様である。以上を終了すると、第１２
図に示すような状態遷移図が作成される。
第４の発明の作用を、第８図２第９図、第１３図を例と
して説明する。第８図に示すような状態遷移表がある場
合、第４の発明の状態遷移図作成装置は、第３の発明の
場合と同様、出現する全状態名の集合を作成して出力す
る。次に、第２の発明の場合と同様、状態遷移表のすべ
ての行を読み込んで、第９図に示すような遷移情報とし
て登録し、登録が終了すると状態遷移に対応するアーク
を第１３図のようなｘｙ平面上に順に出力する。遷移前
状態基、遷移後状態名の記入方法は第３の発明の場合と
同じであり、状態遷移に対応するアークの属性は、第２
の発明の場合と同じである。以上を終了すると、第１３
図に示すような状態遷移図が作成される。
して説明する。第８図に示すような状態遷移表がある場
合、第４の発明の状態遷移図作成装置は、第３の発明の
場合と同様、出現する全状態名の集合を作成して出力す
る。次に、第２の発明の場合と同様、状態遷移表のすべ
ての行を読み込んで、第９図に示すような遷移情報とし
て登録し、登録が終了すると状態遷移に対応するアーク
を第１３図のようなｘｙ平面上に順に出力する。遷移前
状態基、遷移後状態名の記入方法は第３の発明の場合と
同じであり、状態遷移に対応するアークの属性は、第２
の発明の場合と同じである。以上を終了すると、第１３
図に示すような状態遷移図が作成される。
第１図は、第１の発明の一実施例を示すブロック図であ
る。
る。
この状態遷移図作成装置は、状態遷移表を記憶する状態
遷移表記憶手段１０１と、この状態遷移表記憶手段１０
１を参照し、状態遷移表中に記憶されたすべての遷移前
状態基の状態遷移図中における位置を計算する遷移前状
態名配置計算手段１０２と、この遷移前状態名配置計算
手段１０２によって計算された遷移前状態基の位置を記
憶する遷移前状態名配置記憶手段１０３と、状態遷移表
記憶手段１０１を参照し、状態遷移表中に記憶されたす
べての遷移後状態名の状態遷移図中における位置を計算
する遷移後状態名配置計算手段１０４と、この遷移後状
態名配置計算手段１０４によって計算された遷移後状態
名の位置を記憶する遷移後状態名配置記憶手段１０５と
、状態遷移表記憶手段１０１と遷移前状態名配置記憶手
段１０３と遷移後状態名配置記憶手段１０５とを参照し
、すべての状態遷移を示すアークの位置を計算するアー
ク配置計算手段１０６と、出力手段１０７とを有してい
る。
遷移表記憶手段１０１と、この状態遷移表記憶手段１０
１を参照し、状態遷移表中に記憶されたすべての遷移前
状態基の状態遷移図中における位置を計算する遷移前状
態名配置計算手段１０２と、この遷移前状態名配置計算
手段１０２によって計算された遷移前状態基の位置を記
憶する遷移前状態名配置記憶手段１０３と、状態遷移表
記憶手段１０１を参照し、状態遷移表中に記憶されたす
べての遷移後状態名の状態遷移図中における位置を計算
する遷移後状態名配置計算手段１０４と、この遷移後状
態名配置計算手段１０４によって計算された遷移後状態
名の位置を記憶する遷移後状態名配置記憶手段１０５と
、状態遷移表記憶手段１０１と遷移前状態名配置記憶手
段１０３と遷移後状態名配置記憶手段１０５とを参照し
、すべての状態遷移を示すアークの位置を計算するアー
ク配置計算手段１０６と、出力手段１０７とを有してい
る。
状態遷移表記憶手段１０１．遷移前状態名配置記憶手段
１０３．遷移後状態名配置記憶手段１０５は、ともに半
導体メモリ、ディスクなどを利用できる。
１０３．遷移後状態名配置記憶手段１０５は、ともに半
導体メモリ、ディスクなどを利用できる。
遷移前状態名配置計算手段１０２．遷移後状態名配置計
算手段１０４．アーク配置計算手段１０６は、ともにマ
イクロプロセッサなどを利用できる。出力手段１０７は
、デイスプレィ、プリンタなどを利用できる。
算手段１０４．アーク配置計算手段１０６は、ともにマ
イクロプロセッサなどを利用できる。出力手段１０７は
、デイスプレィ、プリンタなどを利用できる。
本実施例の状態遷移図作成装置を用いて状態遷移表から
状態遷移図を作成する際の動作を、第１図のブロック図
と第４図のフローチャートを用いて説明する。まず、状
態遷移表記憶手段１０１に記憶された状態遷移表の１行
目から順に、遷移前状態名配置計算手段１０２が遷移前
状態基を、遷移後状態名配置計算手段１０４が遷移後状
態名を読み込み（ステップ４０３）、それが初めて出現
する遷移であれば（ステップ４０４）、状態遷移図上で
のその遷移前状態基と遷移後状態名の位置を計算して、
それぞれ遷移前状態名配置記憶手段１０３と遷移後状態
名配置記憶手段１０５に記憶する（ステップ４０５）。
状態遷移図を作成する際の動作を、第１図のブロック図
と第４図のフローチャートを用いて説明する。まず、状
態遷移表記憶手段１０１に記憶された状態遷移表の１行
目から順に、遷移前状態名配置計算手段１０２が遷移前
状態基を、遷移後状態名配置計算手段１０４が遷移後状
態名を読み込み（ステップ４０３）、それが初めて出現
する遷移であれば（ステップ４０４）、状態遷移図上で
のその遷移前状態基と遷移後状態名の位置を計算して、
それぞれ遷移前状態名配置記憶手段１０３と遷移後状態
名配置記憶手段１０５に記憶する（ステップ４０５）。
位置の決め方としては、遷移前状態基、遷移後状態名を
それぞれ出現順に縦に１列に並べる、それぞれ横に１列
に並べるなどの方法がある。それぞれ縦に１列に並べた
場合の出力の例を第１０図に示している。第１０図では
、遷移前状態基の文字列の先頭はｘ＝１０．遷移後状態
名の文字列の先頭はＸ＝４０とし、両者ともｙ座標は出
現順に１０の間隔をとっている。
それぞれ出現順に縦に１列に並べる、それぞれ横に１列
に並べるなどの方法がある。それぞれ縦に１列に並べた
場合の出力の例を第１０図に示している。第１０図では
、遷移前状態基の文字列の先頭はｘ＝１０．遷移後状態
名の文字列の先頭はＸ＝４０とし、両者ともｙ座標は出
現順に１０の間隔をとっている。
遷移前状態基と遷移後状態名の配置が決まると、次に、
アーク配置手段１０６が遷移を示すアークの始点と終点
を計算する（ステップ４０６）。アークの始点と終点は
、対応する遷移前状態名と遷移後状態名とを結ぶように
決める。第１０図の例では、始点をｘ＝１５＋終点をｘ
＝４０にとっている。次に、読み込んだ１行について、
以上で決定した遷移前状態基、遷移後状態名、遷移を示
すアークを出力手段１０７上に出力しくステップ４０７
）、その行が状態遷移表の最終行でなければ次の行の処
理に進む（ステップ４０２）。状態遷移表の全ての行の
処理が済むと（ステップ４０８）終了する。
アーク配置手段１０６が遷移を示すアークの始点と終点
を計算する（ステップ４０６）。アークの始点と終点は
、対応する遷移前状態名と遷移後状態名とを結ぶように
決める。第１０図の例では、始点をｘ＝１５＋終点をｘ
＝４０にとっている。次に、読み込んだ１行について、
以上で決定した遷移前状態基、遷移後状態名、遷移を示
すアークを出力手段１０７上に出力しくステップ４０７
）、その行が状態遷移表の最終行でなければ次の行の処
理に進む（ステップ４０２）。状態遷移表の全ての行の
処理が済むと（ステップ４０８）終了する。
第２図は、第２の発明の一実施例を説明するためのブロ
ック図であり、第１図のアーク配置手段１０６を置換す
るためのものである。
ック図であり、第１図のアーク配置手段１０６を置換す
るためのものである。
アーク配置計算手段は、遷移情報記憶手段２０１と、こ
の遷移情報記憶手段２０１を参照しアーク情報を作成す
るアーク情報作成手段２０２との２つとで置換されて成
る。遷移情報記憶手段２０１は、半導体メモリ、ディス
クなどを利用できる。アーク情報作成手段２０２は、マ
イクロプロセッサなどを利用できる。
の遷移情報記憶手段２０１を参照しアーク情報を作成す
るアーク情報作成手段２０２との２つとで置換されて成
る。遷移情報記憶手段２０１は、半導体メモリ、ディス
クなどを利用できる。アーク情報作成手段２０２は、マ
イクロプロセッサなどを利用できる。
本実施例の状態遷移図作成装置を用いて状態遷移表から
状態遷移図を作成する際の動作を、第１図、第２図のブ
ロック図、第５図のフローチャートを用いて説明する。
状態遷移図を作成する際の動作を、第１図、第２図のブ
ロック図、第５図のフローチャートを用いて説明する。
まず、状態遷移表を１行目から順に読み込み（ステップ
５０３）、遷移情報記憶手段２０１を更新する（ステッ
プ５０４）。遷移情報とは、各状態遷移と、その状態遷
移が状態遷移表中に出現する回数とを表にしたものであ
る。遷移情報を示す表の例を第９図に示す。この表は、
状態遷移表を１行読み込むたびに、それが初めて出現す
る遷移であれば表にあらたに行を作成して記入し、既に
出現した遷移であれば回数の欄を１増やすことによって
作成される。これを状態遷移表の最終行に達するまで行
う。
５０３）、遷移情報記憶手段２０１を更新する（ステッ
プ５０４）。遷移情報とは、各状態遷移と、その状態遷
移が状態遷移表中に出現する回数とを表にしたものであ
る。遷移情報を示す表の例を第９図に示す。この表は、
状態遷移表を１行読み込むたびに、それが初めて出現す
る遷移であれば表にあらたに行を作成して記入し、既に
出現した遷移であれば回数の欄を１増やすことによって
作成される。これを状態遷移表の最終行に達するまで行
う。
状態遷移表のすべての行に対して以上の処理が終了する
と（ステップ５０５）、次に遷移前状態名配置計算手段
１０２と遷移後状態名配置計算手段１０４が、すべての
遷移前状態名と遷移後状態名の状態遷移図中での位置を
計算しくステップ５０６）、アーク情報作成手段２０２
がすべてのアーク情報を作成する（ステップ５０７）。
と（ステップ５０５）、次に遷移前状態名配置計算手段
１０２と遷移後状態名配置計算手段１０４が、すべての
遷移前状態名と遷移後状態名の状態遷移図中での位置を
計算しくステップ５０６）、アーク情報作成手段２０２
がすべてのアーク情報を作成する（ステップ５０７）。
アーク情報とは、アークの始点、終点、太さであり、始
点と終点の決め方は第１の発明の場合と同様である。太
さは、状態遷移の出現回数に従って、異なる太さを割り
当てる。
点と終点の決め方は第１の発明の場合と同様である。太
さは、状態遷移の出現回数に従って、異なる太さを割り
当てる。
この方法で状態遷移図を出力した例を第１１図に示して
いる。第１１図の例では、第９図において８１から８３
への遷移が２回出現していることに対応し、Ｓｌから８
３へのアークを太くしている。なお、上記の例ではアー
ク情報として始点、終点。
いる。第１１図の例では、第９図において８１から８３
への遷移が２回出現していることに対応し、Ｓｌから８
３へのアークを太くしている。なお、上記の例ではアー
ク情報として始点、終点。
大、さの３つを用いたが、他に、出現回数に応じて色、
形状などを変化させることもできる。次に、全ての遷移
前状態名、遷移後状態名、アークを出力して（ステップ
５０８）、終了する。
形状などを変化させることもできる。次に、全ての遷移
前状態名、遷移後状態名、アークを出力して（ステップ
５０８）、終了する。
第３図は、第３の発明の一実施例を示すブロック図であ
り、第１図の構成に、全状態名集合作成手段３０１が付
加されている。この全状態名集合作成手段３０１は、マ
イクロプロセッサなどを利用できる。
り、第１図の構成に、全状態名集合作成手段３０１が付
加されている。この全状態名集合作成手段３０１は、マ
イクロプロセッサなどを利用できる。
本実施例の状態遷移図作成装置を用いて状態遷移図を作
成する際の動作を、第３図のブロック図と第６閏のフロ
ーチャートを用いて説明する。まず、状態遷移表記憶手
段１０１に記憶された状態遷移を、全状態名集合作成手
段３０１が読み込み、全状態名の集合を作成する（ステ
ップ６０１）。全状態名とは、すべての遷移前状態名と
遷移後状態名との集合である。第８図に示した状態遷移
表において、全状態の集合は（Ｓｌ、３２． Ｓ３．
Ｓ４）となる。
成する際の動作を、第３図のブロック図と第６閏のフロ
ーチャートを用いて説明する。まず、状態遷移表記憶手
段１０１に記憶された状態遷移を、全状態名集合作成手
段３０１が読み込み、全状態名の集合を作成する（ステ
ップ６０１）。全状態名とは、すべての遷移前状態名と
遷移後状態名との集合である。第８図に示した状態遷移
表において、全状態の集合は（Ｓｌ、３２． Ｓ３．
Ｓ４）となる。
次に、遷移前状態名配置計算手段１０２と遷移後状態名
計算手段１０４とが、それぞれすべての状態名の配置を
計算しくステップ６０２）、遷移前状態名配置記憶手段
１０３と遷移後状態名配置記憶手段１０５とに記憶して
、出力装置１０７に出力する（ステップ６０３）。配置
は、ステップ６０１で作成した全状態名の集合の要素を
、遷移前状態名の列と、遷移後状態名の列とに並べる。
計算手段１０４とが、それぞれすべての状態名の配置を
計算しくステップ６０２）、遷移前状態名配置記憶手段
１０３と遷移後状態名配置記憶手段１０５とに記憶して
、出力装置１０７に出力する（ステップ６０３）。配置
は、ステップ６０１で作成した全状態名の集合の要素を
、遷移前状態名の列と、遷移後状態名の列とに並べる。
この場合、縦に１列に並べる方法と、横に１列に並べる
方法などがある。
方法などがある。
ｘ＝１０の列とＸ＝４０の列に、それぞれ縦に１列に並
べた例を第１２図に示している。
べた例を第１２図に示している。
次に、状態遷移表を先頭から順に１行ずつ読み込み、そ
れが初めて出現する遷移であれば（ステップ６０７）、
アーク配置を計算して（ステップ６０８）、出力する（
ステップ６０９）。アーク配置の計算、出力については
、第１の発明と同しである。状態遷移表のすべての行の
処理が済むと（ステップ６１０）、終了する。
れが初めて出現する遷移であれば（ステップ６０７）、
アーク配置を計算して（ステップ６０８）、出力する（
ステップ６０９）。アーク配置の計算、出力については
、第１の発明と同しである。状態遷移表のすべての行の
処理が済むと（ステップ６１０）、終了する。
第４の発明の一実施例は、第３図のアーク配置手段１０
６を、第２図の遷移情報記憶手段２０１およびアーク情
報作成手段２０２で置換したものである。
６を、第２図の遷移情報記憶手段２０１およびアーク情
報作成手段２０２で置換したものである。
本実施例の状態遷移図作成装置を用いて状態遷移表から
状態遷移図を作成する際の動作を、第３図、第２図のブ
ロック図、第７図のフローチャートを用いて説明する。
状態遷移図を作成する際の動作を、第３図、第２図のブ
ロック図、第７図のフローチャートを用いて説明する。
まず、第３の発明と同様に状態遷移表記憶手段１０１に
記憶された状態遷移表を全状態遷移集合作成手段３０１
が読み込み、全状態の集合を作成しくステップ７０１）
、次に、遷移前状態名配置計算手段１０２と遷移後状態
名配置計算手段１０４とが、それぞれすべての状態を配
置を計算しくステップ７０２）、遷移前状態名配置記憶
手段１０３と遷移後状襲名配置記憶手段１０５に記憶し
て出力装置１０７に出力する（ステップ７０３）。配置
の方法は第３の発明と同様である。
記憶された状態遷移表を全状態遷移集合作成手段３０１
が読み込み、全状態の集合を作成しくステップ７０１）
、次に、遷移前状態名配置計算手段１０２と遷移後状態
名配置計算手段１０４とが、それぞれすべての状態を配
置を計算しくステップ７０２）、遷移前状態名配置記憶
手段１０３と遷移後状襲名配置記憶手段１０５に記憶し
て出力装置１０７に出力する（ステップ７０３）。配置
の方法は第３の発明と同様である。
次に、遷移情報記憶手段２０１が状態遷移表を１行目か
ら順に読み込み（ステップ７０６）、遷移情報記憶手段
２０１を更新する（ステップ７０７）。遷移情報の内容
は、第２の発明の場合と同様である。状態遷移表のすべ
ての行に対して以上の処理が終了すると（ステップ７０
８）、アーク情報作成手段２０２がすべてのアーク情報
を作成する（ステップ７０９）。
ら順に読み込み（ステップ７０６）、遷移情報記憶手段
２０１を更新する（ステップ７０７）。遷移情報の内容
は、第２の発明の場合と同様である。状態遷移表のすべ
ての行に対して以上の処理が終了すると（ステップ７０
８）、アーク情報作成手段２０２がすべてのアーク情報
を作成する（ステップ７０９）。
アーク情報は第３の発明の場合と同様である。次に、全
てのアークを出力して（ステップ７１０）、終了する。
てのアークを出力して（ステップ７１０）、終了する。
この方法で状態遷移図を作成した例を、第１３図に示し
ている。
ている。
本発明の装置を用いれば、状態遷移表から自動的に、見
やすい状態遷移図を作成することができる。第１．第２
の発明では、表示する状態数が少ないので表示領域を節
約できるという利点があり、第３．第４の発明では、出
現する全状態が一目で把握できるという利点がある。ま
た、第２．第４の発明においては、各状態遷移に対応す
る入力数を、アークの太さという直感的な情報で一目で
把握することができるので、状態遷移情報を扱う人間に
とって、編集が容易で表示がわかりやすくなり、状態遷
移情報の扱いが容易になるという利点がある。
やすい状態遷移図を作成することができる。第１．第２
の発明では、表示する状態数が少ないので表示領域を節
約できるという利点があり、第３．第４の発明では、出
現する全状態が一目で把握できるという利点がある。ま
た、第２．第４の発明においては、各状態遷移に対応す
る入力数を、アークの太さという直感的な情報で一目で
把握することができるので、状態遷移情報を扱う人間に
とって、編集が容易で表示がわかりやすくなり、状態遷
移情報の扱いが容易になるという利点がある。
第１図は、第１の発明の一実施例を示すブロック図、
第２図は、第２．第４の発明に対する置換部分を示すブ
ロック図、 第３図は、第３の発明の一実施例を示すブロック図、 第４図は、第１の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第５図は、第２の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第６図は、第３の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第７図は、第４の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第８図は、状態遷移表の例を示す図、 第９図は、遷移情報記憶手段に記憶される遷移情報の例
を示す図、 第１０図は、第１の発明の装置を用いて第８図の状態遷
移表から作成される状態遷移図を示す図、第１１図は、
第２の発明の装置を用いて第８図の状態遷移表から作成
される状態遷移図を示す図、第１２図は、第３の発明の
装置を用いて第８図の状態遷移表から作成される状態遷
移図を示す図、第１３図は、第４の発明の装置を用いて
第８図の状態遷移表から作成される状態遷移図を示す図
、第１４図は、従来の状態遷移図の例を示す図である。 状態遷移表記憶手段 遷移前状態基の状態遷移図中での 位置を計算する遷移前状態名配置 計算手段 遷移前状態名配置記憶手段 ・遷移後状態名の状態遷移図中での 位置を計算する遷移後状態名配置 計算手段 ・遷移後状態名配置記憶手段 ・状態遷移図中におけるアークの始 点と終点を求めるアーク配置計算 手段 ・出力手段 ・状態遷移とその出現回数を記憶す る遷移情報記憶手段 ・遷移情報に基づいてアークの情報 を求めるアーク情報作成手段 ・状態遷移表に出現するすべでの状 態の集合を作成する全状態名集合 作成手段
ロック図、 第３図は、第３の発明の一実施例を示すブロック図、 第４図は、第１の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第５図は、第２の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第６図は、第３の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第７図は、第４の発明の装置を用いて状態遷移図を作成
する方法のフローチャート、 第８図は、状態遷移表の例を示す図、 第９図は、遷移情報記憶手段に記憶される遷移情報の例
を示す図、 第１０図は、第１の発明の装置を用いて第８図の状態遷
移表から作成される状態遷移図を示す図、第１１図は、
第２の発明の装置を用いて第８図の状態遷移表から作成
される状態遷移図を示す図、第１２図は、第３の発明の
装置を用いて第８図の状態遷移表から作成される状態遷
移図を示す図、第１３図は、第４の発明の装置を用いて
第８図の状態遷移表から作成される状態遷移図を示す図
、第１４図は、従来の状態遷移図の例を示す図である。 状態遷移表記憶手段 遷移前状態基の状態遷移図中での 位置を計算する遷移前状態名配置 計算手段 遷移前状態名配置記憶手段 ・遷移後状態名の状態遷移図中での 位置を計算する遷移後状態名配置 計算手段 ・遷移後状態名配置記憶手段 ・状態遷移図中におけるアークの始 点と終点を求めるアーク配置計算 手段 ・出力手段 ・状態遷移とその出現回数を記憶す る遷移情報記憶手段 ・遷移情報に基づいてアークの情報 を求めるアーク情報作成手段 ・状態遷移表に出現するすべでの状 態の集合を作成する全状態名集合 作成手段
Claims (4)
- （１）状態遷移表から状態遷移図を作成する状態遷移図
作成装置であって、 前記状態遷移表を記憶する状態遷移表記憶手段と、 この状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶されたすべての遷移前状態名の前記状態遷移図中に
おける位置を計算する遷移前状態名配置計算手段と、 この遷移前状態名配置計算手段によって計算された前記
遷移前状態名の位置を記憶する遷移前状態名配置記憶手
段と、 前記状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶されたすべての遷移後状態名の前記状態遷移図中に
おける位置を計算する遷移後状態名配置計算手段と、 この遷移後状態名配置計算手段によって計算された前記
遷移後状態名の位置を記憶する遷移後状態名配置記憶手
段と、 前記状態遷移表記憶手段と前記遷移前状態名配置記憶手
段と前記遷移後状態名配置記憶手段とを参照し、すべて
の状態遷移を示すアークの位置を計算するアーク配置計
算手段とから成ることを特徴とする状態遷移図作成装置
。 - （２）前記アーク配置計算手段が、遷移情報記憶手段と
、この遷移情報記憶手段を参照し、アーク情報を作成す
るアーク情報作成手段との２つとで置換されて成ること
を特徴とする請求項１記載の状態遷移図作成装置。 - （３）状態遷移表から状態遷移図を作成する状態遷移図
作成装置であって、 前記状態遷移表を記憶する状態遷移表記憶手段と、 この状態遷移表記憶手段を参照し、前記状態遷移表中に
記憶された全状態名の集合を作成する全状態名集合作成
手段と、 この全状態名集合作成手段によって作成された前記全状
態名の集合を参照し、前記状態遷移図中におけるすべて
の遷移前状態名の位置を計算する遷移前状態名配置計算
手段と、 この遷移前状態名配置計算手段によって計算された前記
遷移前状態名の位置を記憶する遷移前状態名配置記憶手
段と、 前記全状態名集合作成手段によって作成された前記全状
態名を参照し、前記状態遷移図中におけるすべての遷移
後状態名の位置を計算する遷移後状態名配置計算手段と
、 この遷移後状態名配置計算手段によって計算された前記
遷移後状態名の位置を記憶する遷移後状態名配置記憶手
段と、 前記状態遷移表記憶手段と前記遷移前状態名配置記憶手
段と前記遷移後状態名配置記憶手段とを参照し、すべて
の状態遷移を示すアークの位置を計算するアーク配置計
算手段とから成ることを特徴とする状態遷移図作成装置
。 - （４）前記アーク配置計算手段が、遷移情報記憶手段と
、この遷移情報記憶手段を参照し、アーク情報を作成す
るアーク情報作成手段との２つとで置換されて成ること
を特徴とする請求項３記載の状態遷移図作成装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2278183A JPH04152473A (ja) | 1990-10-17 | 1990-10-17 | 状態遷移図作成装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2278183A JPH04152473A (ja) | 1990-10-17 | 1990-10-17 | 状態遷移図作成装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04152473A true JPH04152473A (ja) | 1992-05-26 |
Family
ID=17593747
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2278183A Pending JPH04152473A (ja) | 1990-10-17 | 1990-10-17 | 状態遷移図作成装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04152473A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2015517128A (ja) * | 2012-02-15 | 2015-06-18 | ザ マスワークス， インクＴｈｅ Ｍａｔｈｗｏｒｋｓ， Ｉｎｃ． | 状態図の生成 |
| US9600241B2 (en) | 2012-02-15 | 2017-03-21 | The Mathworks, Inc. | Unified state transition table describing a state machine model |
-
1990
- 1990-10-17 JP JP2278183A patent/JPH04152473A/ja active Pending
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2015517128A (ja) * | 2012-02-15 | 2015-06-18 | ザ マスワークス， インクＴｈｅ Ｍａｔｈｗｏｒｋｓ， Ｉｎｃ． | 状態図の生成 |
| US9600241B2 (en) | 2012-02-15 | 2017-03-21 | The Mathworks, Inc. | Unified state transition table describing a state machine model |
| US10360502B2 (en) | 2012-02-15 | 2019-07-23 | The Mathworks, Inc. | Generating a state diagram |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7721255B2 (en) | Sequence program editing apparatus | |
| JP3787743B2 (ja) | 数値解析用メッシュ生成装置 | |
| JPH04152473A (ja) | 状態遷移図作成装置 | |
| JPH07334581A (ja) | 商品陳列シミュレーションシステム | |
| JPH03171364A (ja) | 状態遷移図作成装置 | |
| JP2618865B2 (ja) | 情報処理装置 | |
| JP2003114974A (ja) | 業務プロセス表示装置およびその方法 | |
| JPS63155260A (ja) | コンピユ−タによる表の編集方法 | |
| JP3216951B2 (ja) | 有限要素メッシュ作成装置 | |
| JPH0594295A (ja) | 複数サブフアイルの編集装置 | |
| JPH1049572A (ja) | スケール調整可能なスケジュール表編集装置 | |
| JPH07271759A (ja) | 生産シミュレーションシステム | |
| JPH0251777A (ja) | 接点指示表付展開接続図の作成装置 | |
| JPH06309392A (ja) | 新規図面の管理方法 | |
| JPH08123675A (ja) | データ入力方法及びその装置 | |
| JPH08335226A (ja) | 回路設計装置およびその回路設計方法 | |
| JPH07319936A (ja) | フロー図生成装置 | |
| JPH08214457A (ja) | 電力系統図作成装置 | |
| JPH03116223A (ja) | 可変長データ入力における画面制御方式 | |
| JPH06348768A (ja) | 図面変更履歴管理装置 | |
| JPH1011488A (ja) | 組立部品の部品展開システム | |
| JPH021578A (ja) | 試験項目生成装置 | |
| JP2000163181A (ja) | 実行順序表示装置、実行順序表示方法および実行順序表示用プログラムを記録した記録媒体 | |
| JPH03208168A (ja) | 日数計算装置 | |
| JPH09245064A (ja) | 部品登録システム |