状態遷移表の表示方法及び表示装置

【課題】状態遷移表を見通しよく、内容の把握しやすい構成とすることを目的とする。
【解決手段】複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとを有する状態遷移表を作成して表示させる場合において、各状態項目を行項目と列項目の両方に分散して配置する。または、状態項目とイベント項目の両方を行項目もしくは列項目のどちらかに集約して配置する。

【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、イベントの発生に応じて状態が遷移する状態遷移表の表示方法、及び表示装置に関し、特に、階層化された状態を持つ階層化状態遷移モデルを表現する状態遷移表の表示方法及びその表示装置に関する。
【背景技術】
【０００２】
従来、イベントの発生に応じて状態が遷移する状態遷移モデルを表現するために用いられていた状態遷移表は、それぞれの状態に対して一律に各イベントへの対応付けのみが記述されるものであった。このため、状態に条件分岐があってもその関係は表示動作に反映されていない。
【０００３】
従って、階層状態を持つ状態遷移モデルを表現するためには、図２０のように一つの状態遷移表内に下位の層まで含んだ全ての状態を収めることで対応していた。この例では、とりうる状態として「ＯＮ」と「ＯＦＦ」の状態項目からなる状態１の階層と、「true」または「false」のどちらか一方の状態をとる状態２の階層と、「０＞」または「else」の状態をとる状態３の階層が列項目として表示されている。
イベント項目であるＥ１とＥ２は行項目として配置されており、状態１〜状態３の条件の組み合わせにおいてイベントＥ１、またはＥ２が起きた時に生じる事象がａ１〜ａ８及びｂ１〜ｂ２として処理情報セルに表されている。
また、階層毎に１つの状態遷移表を割り当て、作成することによっても表現される。図２１は、図２０と同一の内容を状態の階層毎に１つの状態遷移表として表したものである。
この表現方法では、列項目に表示される状態１〜状態３の条件分岐毎に表を移動する。例えば、状態１，２，３がそれぞれ「ON」，「true」，「＞０」をとる時のイベントＥ１に対する処理情報は、表0と表0.1と表0.1.1によりａ１であることが表現される。
【０００４】
このように状態は行項目、イベントは列項目というように、項目は行や列毎に固定して配列されるものでもあった。
【特許文献１】特開２００１−３２５０２０号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
上記従来の状態遷移表では、階層化状態遷移モデルの全体を一つの表で表現した場合、最下位の階層まで展開されたすべての状態と、発生するすべてのイベントをひとつひとつ網羅的に対応させるものとなる。このような表示処理においては、階層やイベントの数が増えると表が大きくなり過ぎるため、全体の把握がしにくくなり、特に上位階層における状態遷移を把握することが困難になるという問題があった。
【０００６】
また、特定の条件においてのみ生じるイベント、つまり限られた状態の階層においてのみ有効となるイベントについても、全ての状態ひとつひとつに対応する処理情報を定義する必要がある。このため、このような無効なイベントにも処理情報を定義する必要があり、作成時に余分な作業量を伴ってしまう。
【０００７】
また、このような冗長な処理情報の定義に対しても、これに変更があった際には同様の変更をその他複数の定義に反映する必要があり、修正漏れによる不具合の原因となる。
【０００８】
また、全てのイベントに対する処理情報が含まれているために、イベントに対して状態が有効であるか否か明確でない、さらには実装時の論理条件を明確にしにくいことがある。
【０００９】
また、状態の各階層ごとに別個の状態遷移表を用いて表現する場合には、一つの階層内で遷移が完結する場合には把握しやすいものの、ある階層から別の階層へ遷移する時には複数の状態遷移表の間を移動することになり、把握しにくくなってしまう。
【００１０】
本発明はかかる問題に鑑みてなされたもので、状態遷移表の構成を見通しがよいものとし、状態遷移の内容を把握しやすくすることを目的とする。
【課題を解決するための手段】
【００１１】
上記課題を解決するために本発明では、複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとを有する状態遷移表において、状態項目及びイベント項目のうち少なくとも１方の項目を行項目と列項目の両方に分散して配置する。または、状態項目とイベント項目の両方を行項目もしくは列項目のどちらかに集約して配置する。
【００１２】
また、本発明は、複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとをもつ状態遷移表において、行項目から列項目または列項目から行項目に移動させる項目を選択する段階と、選択した項目の移動先を選択する段階と、移動先の上層の階層項目の構成に従って、前記選択した項目の移動後の構成を決定する段階と、前記選択した項目の構成に従って、移動先の下層の階層項目の構成を決定する段階と、移動元の上層の階層項目の構成に従って、選択した項目を移動させた後の下層の項目の構成を決定する段階と、決定した項目構成に従って、処理情報セルを配置する段階を有する。
【００１３】
上記段階に加えて本発明では、イベント及び状態を行項目または列項目に集約し、ツリー表現する段階を有する。
【００１４】
また、本発明は、任意の項目を選択する段階と、選択した項目よりも下層の項目を表示または非表示とする段階と、非表示とした項目に対応する処理情報定義セルの内容を１つのセルに集約表示する段階を有する。
【００１５】
さらに、本発明は、イベントと状態をそれぞれ行項目または列項目に分けて構成した表に対し、１つの状態階層をイベント側の項目に移動する段階と、移動した状態に対応する処理を連続したセルに表示する段階を有する。
【００１６】
また、本発明では、表示切替時に発生する処理情報定義セルの冗長定義を自動的に補完する機能と、イベントに対応する状態または状態に対応するイベントを追加した際に、例外条件を自動的に追加する機能を備える。
【発明の効果】
【００１７】
本発明によると、複数の状態項目と、複数のイベント項目とそれぞれの項目に対応する処理情報定義セルとを持つ状態遷移表において、各状態項目を行項目と列項目とに分散して配置、または状態項目とイベント項目の両方を列項目または行項目に集約して配置するようにしたので、表現の自由度が向上し、目的に応じて把握しやすい構成を選択できるようになる。
【００１８】
また、複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとを持つ状態遷移表において、任意の状態項目またはイベント項目を列項目または行項目に移動し、行項目と列項目とを任意の組み合わせの表示に切り替え可能としたので、同一内容の状態遷移表に対して、目的に応じて把握しやすい構成を選択することができる。
【発明を実施するための最良の形態】
【００１９】
以下、本発明の実施の形態の例を、図１〜図１９を参照して説明する。
【００２０】
図１は本実施の形態の例における状態遷移表を表示する装置の概略構成図を示したものである。図１に示した状態遷移表表示装置１は、例えばパーソナルコンピュータ装置とその周辺機器とで構成させた例であり、図１は機能的な構成を示してある。
状態遷移表表示装置１は、データの制御を行う制御部１ａと、作成された状態遷移表を表示する表示部１ｎと、状態遷移表の作成に必要となるテキスト入力を受け付けるキー入力部１ｋと、状態遷移表の項目選択等のポインティング入力を行うポインティング部１ｍと、制御部１ａから表示部１ｎへの出力や入力部１ｋとポインティング部１ｍから制御部１ａへの入力を制御する入出力制御部１ｈによって構成される。
【００２１】
状態項目保持部１ｄとイベント項目保持部１eは、それぞれ状態遷移表における状態項目とイベント項目のデータを受付け、格納する。また、行項目保持部１ｆと列項目保持部１ｇでは状態遷移表における行項目と列項目のデータを受け付け、格納するとともに、これら状態項目及びイベント項目と行項目及び列項目との間の対応が互いに関連付けられている。表示作成部１ｃにおいて、これらデータをデータファイル部１ｂより読み出し、状態遷移表を作成すると、入出力制御部１ｈを通じて表示部１ｎに送られることで状態遷移表が表示される。
【００２２】
また、キー入力部１ｋ、ポインティング部１ｍにより状態遷移表にデータを追加または削除したり、変更を行う時には、データファイル部１ｂにおいてデータの更新や各項目同士の対応が変更される。そしてこのデータに基づき表示作成部１ｃにて状態遷移表の再構築が行われると表示部１ｎに反映される。
【００２３】
図２は、背景技術の欄で説明した図２０の状態遷移表を、上述した図１例の表示装置を用い、本実施の形態による表示処理にて表したものである。この状態遷移表は、列項目から行項目に移動させる項目を選択する段階と、選択した項目の移動先を選択する段階と、移動先の階層項目の上層の構成に従って、前記選択した項目の移動後の構成を決定する段階と、移動元の階層項目の上層の構成に従って、選択した項目を移動させた後に残った下層の項目の構成を決定する段階と、決定した項目構成に従って、処理情報セルを配置する段階とによって表示される。
【００２４】
以下、本実施の形態における表示処理の流れを説明する。
まず最初に移動させたい項目を選び選択する。図３は、図２０の状態遷移表において、状態２の項目を選択したものである。
そして次に選んだ項目の移動先を選択する。図４は、状態２の項目の移動先としてイベントの階層（この図の場合は１階層のみ）の直下を選択したものである。
【００２５】
本実施の形態では、このようにして移動させる項目及び移動先を決めた後、移動先の上層の階層項目に従って、移動させる項目の移動後の構成を決定する。図５は、移動させる項目である状態２が取りうる値の「true」と「false」の両方を、イベントＥ１とＥ２の直下の階層それぞれに配置する構成としたものである。これにより行項目が決定されることになる。
【００２６】
ところが、移動させる列項目を移動させた後、その下層の階層である状態３の項目は状態１の項目に直接ぶらさがった状態となる。つまり、ＯＮとＯＦＦの項目それぞれに「＞０」と「else」の条件が２つずつ表記され重複した状態となってしまう。
このため、本実施の形態では、移動元の階層項目の上層の構成に従って、選択した項目を移動させた後に残った下層の項目の構成を決定する段階を踏むことにより、図６のように重複を整理し、見通しを良くすることができる。また、これにより列項目が決定される。
【００２７】
こうして決定された行項目及び列項目の構成に従って処理情報定義セルを配置したものが図７である。ここで、イベントＥ２は状態１の条件によってのみ情報処理定義の値が決まっている。このように、イベントＥ２は状態１に対してのみ有効であるという定義の場合、状態２に対する定義は未定義とすることができる。このため本発明では図２のようにこれを「−」表示として統一する。
【００２８】
このように、本実施の形態では、状態項目を行項目と列項目とに自由に分散して配置できるようにしたことで、上記のような重複した項目や未定義とできる項目を発見して統一し、冗長な表現を減らすことができる。またこのことにより表全体のセル数も減り、見通し良く、把握しやすい状態遷移表を作成することができる。
【００２９】
以下に本発明の変形例を示す。
【００３０】
[第１の変形例]
図８は、イベント及び状態を行項目に集約し、ツリー表現したものである。この場合は、列項目から行項目に移動させる項目を選択する段階と、選択した項目の移動先を選択する段階と、移動先の階層項目の上層の構成に従って、前記選択した項目の移動後の構成を決定する段階と、決定した項目構成に従って、処理情報セルを配置する段階とを、状態１〜状態３の階層項目それぞれに対して実施することで表示される。こうしたツリー表現は、処理実施のための理論条件式と一致するため、理論条件式を明確に表現しやすい。
ここで、イベントＥ２は状態１に対してのみ有効であるという場合、状態２及び状態３に対する処理は未定義とすることができる。このため、本実施例においても、これを「−」表示として統一し、イベントＥ２の状態２と状態３に対する冗長な定義を排除し、作業量を削減することができる。
【００３１】
また、このような冗長な処理の定義をなくすことにより、変更があった際の修正漏れを防止でき、さらにイベントに対して無効な状態を定義しないため、有効か否かを明確に表現することができる。
【００３２】
ところで、状態遷移表を実際に作成する際においては、イベントに対応する状態、または状態に対応するイベントを後から追加することがある。特に膨大な量の情報を処理する際には、このような追加されたイベントや状態、それに対する処理情報が新たに定義されているかどうか見落としてしまうことも懸念される。
【００３３】
しかし、本実施の形態では、イベントに対応する状態、又は状態に対応するイベントを追加した際には、図９のように例外条件を自動的に追加するようにしてある。ここでは、イベント「Ｅ３」追加時に状態２の「true」に対する処理を定義した際に、その例外条件である「false」を自動的に追加し、処理の定義を促している。このようにすることで、処理の定義漏れを防ぐことができる。
【００３４】
［第２の変形例］
図１１は、イベントＥ１において状態１が「ＯＮ」である項目より下層の項目を非表示としたものである。この場合は、図１０のように非表示に切り替えたい項目の真上層の項目を選択する。つまり、選択した項目より下層の項目を非表示とできる。
特に本実施の形態では、状態１より下の階層が非表示となっていることを明示するために、状態１の項目名の先頭に「＋」記号を付加している。また、非表示とされた下層の状態２、状態３の処理情報セルの内容が複数の定義を持つことを明示するために「・・・」表示として表している。
【００３５】
このように本実施の形態では、利用者が任意の階層の状態を選択し、当該状態階層より下層の階層の非表示を切り替えることで、利用者が着目する階層以下の情報を非表示とする。このため、利用者の用途に合わせて上層の状態遷移を把握しやすくすることができる。
また、全体を表す１つの状態遷移表に対して、用途に応じて表示を切り替えるため、状態の階層ごとに別個の状態遷移表を用いて表現する方法に比べ、階層間の状態遷移を把握しやすい。
【００３６】
また、図１２のように非表示とした項目に対応する処理情報セルの内容を１つのセルに集約表示することによっても、上位階層における状態遷移を把握しやすくなる。集約表示は全ての処理を表示することと、予め定義した主要な処理のみをサマリ表示することとを選択することにより、用途に適した表示が可能となる。
【００３７】
ところで、図１２において状態３の階層に着目するためにこれを列項目に移動させた時には、イベントＥ２に対する冗長定義（「ｂ１」と「ｂ２」がそれぞれ２箇所に定義される）が発生する。このような時には、冗長定義を自動的に補完するようにすると作業量が減り、使い勝手がよい。図１３は処理情報定義セルを自動的に補完した状態を表している。
【００３８】
［第３の変形例］
図１４は、図１の状態遷移図の１つの状態階層をイベント側の項目に移動させたものである。従来の表示方法である図２において、状態２が「true」の場合のイベント「Ｅ１」に対する処理情報はa1，a２とa５，a６であり、状態１の階層項目である「ＯＮ」と「ＯＦＦ」の条件のために離れたセルに表示されている。これに対し本実施の形態では、状態２の階層項目を行項目に移したために、状態２の各項目において生じる処理情報が連続したセルに表示される。
【００３９】
このように、本実施の形態では、イベントと状態をそれぞれ行項目または列項目に分けて構成した表に対して、１つの状態階層をイベント側の項目に移すことで、移動させた状態項目に対応する処理情報を連続したセルに表示させることも可能である。これにより、利用者は自らが着目する状態階層に対応した処理情報の把握が容易になる。
【００４０】
以下、上記状態遷移表の表示処理の適用例について説明する。
【００４１】
本適用例では、自動車用ナビゲーションシステムにおける、経路設定画面の振る舞いを規定する状態遷移表をとりあげる。
【００４２】
図１５は、自動車用ナビゲーションシステムにおける経路設定画面である。本画面は目的地を設定するための目的地設定ボタン２、経路探索を開始するための経路探索ボタン３により構成される。本画面の仕様として、「自動車走行中は操作できない」、「目的地設定後でなければ経路探索ボタンは押下できない」の２つが規定されている
【００４３】
次に図１６は、図１５に示す画面の振る舞いを規定した状態遷移表である。ここでは、３つの状態変数「走行状態」と「目的地設定状態」と「経路探索ボタン状態」を持ち、４つのイベント「走行開始」と「走行停止」と「目的地設定」と「経路探索」に対して動作を行う設計としている。この表は従来の表示方法によるものであり、状態を列項目に、イベントを行項目に配置している。
【００４４】
この従来方法による状態遷移表において本発明を適用し、状態項目のうち「走行状態」以外を行項目に移動させたものが図１７である。ここで、走行状態はシステム状態であり、各画面で共通である。つまり本発明によって、各画面共通の状態を列項目、画面固有の状態を行項目として分散して配置し、共通部分と固有部分とを明確に分けて表現することができる。
そしてこれにより、走行中及び停止中に表示される各画面の状態遷移が、列ごとに表現されることになり可読性が向上する。
【００４５】
また、新しい画面の状態遷移表を作成する際に、列項目は流用し、行項目だけを新規作成するといった運用により、作製工数の低減や、共通項目の定義漏れを防止することができる。
【００４６】
図１８は、図１６の状態遷移表において、全ての状態項目を行項目に移動させツリー表現したものである。これに対して、一部を非表示とし着目する部分だけを表示させてもよい。例えば図１８では、有り得ない状態における処理情報も「――」として全て表示されており、これらの状態を非表示とすることで図１９のように可読性を向上させることができる。
【図面の簡単な説明】
【００４７】
【図１】本発明の一実施の形態の例による状態遷移表表示装置の構成図である。
【図２】本実施の形態の例を用いて、状態項目を行項目と列項目とに分散させて配置させた状態遷移表の説明図である。
【図３】本発明の一実施の形態の例により、状態２の階層項目を選択した状態を示す説明図である
【図４】本発明の一実施の形態の例により、選択した項目を移動させる先を選択した状態を表す説明図である
【図５】本発明の一実施の形態の例により、移動先の上層の階層項目に従って、移動させる項目の移動後の構成を決定した状態を表す説明図である。
【図６】本発明の一実施の形態の例により、選択した項目を移動させた後に残った下層の項目の構成を決定した状態を表す図である。
【図７】本発明の一実施の形態の例により、決定された行項目及び列項目の構成に従って処理情報定義セルを配置した状態を表す説明図である。
【図８】本発明の一実施の形態の例により、イベント及び状態を行項目に集約し、ツリー表現した状態遷移表を示す説明図である。
【図９】本発明の一実施の形態の例により、例外条件が自動的に追加された状態を表す説明図である。
【図１０】本発明の一実施の形態の例により、状態１の「ＯＮ」以下の項目を非表示に切り替える時に選択する項目を示す説明図である。
【図１１】本発明の一実施の形態の例により、状態１の「ＯＮ」以下の下層の項目を非表示とした状態を示す説明図である。
【図１２】本発明の一実施の形態の例により、非表示とした項目に対応する処理情報セルの内容を１つのセルに集約表示した状態を示す説明図である。
【図１３】本発明の一実施の形態の例により、冗長な処理情報定義を自動的に補完した状態を表す説明図である。
【図１４】図１の状態遷移表の１つの状態階層をイベント側の項目に移動させた状態を表す説明図である。
【図１５】本発明の一実施の形態の例を適用した、自動車用ナビゲーションシステムにおける経路設定画面を表す説明図である。
【図１６】図１４に示す画面の振る舞いを規定した状態遷移表を表す説明図である。
【図１７】図１５の状態項目のうち「走行状態」以外を行項目に移動させることによって表示される状態遷移表を表す説明図である。
【図１８】図１５の状態遷移表において、全ての状態項目を行項目に移動させツリー表現することで表示される状態遷移表を表す説明図である。
【図１９】図１７の状態遷移表において、一部の項目を非表示とし、着目する項目だけを表示させた状態遷移表を表す説明図である。
【図２０】項目が行や列毎に固定して配列される従来の状態遷移表を示す説明図である。
【図２１】状態の各階層ごとに別個の状態遷移表を用いる従来の表現方法を示す説明図である。
【符号の説明】
【００４８】
１・・・状態遷移表表示装置、１a・・・制御部、１ｂ・・・データファイル部、１ｃ・・・表示作成部、１ｄ・・・状態項目保持部、１e・・・イベント項目保持部、１ｆ・・・行項目保持部、１ｇ・・・列項目保持部、１ｈ・・・入出力制御部、１ｋ・・・キー入力部、１ｍ・・・ポインティング部、１ｎ・・・表示部、２・・・目的地設定ボタン、３・・・経路探索ボタン

【特許請求の範囲】
【請求項１】
複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとをもつ状態遷移表の表示方法であって、
行項目から列項目または列項目から行項目に移動させる項目を選択する段階と、選択した項目の移動先を選択する段階と、
前記移動先の上層の階層項目の構成に従って、前記選択した項目の移動後の構成を決定する段階と、
前記選択した項目の構成に従って、前記移動先の下層の階層項目の構成を決定する段階と、
前記移動させた項目の移動元の上層の階層項目の構成に従って、前記選択した項目を移動させた後の下層の項目の構成を決定する段階と、
前記決定した項目構成に従って、処理情報セルを配置する段階と
によって状態遷移表を作成し、
前記作成された状態遷移表を表示する
状態遷移表の表示方法。
【請求項２】
前記イベント項目及び状態項目を行項目または列項目のいずれか一方に集約することでツリー表現した状態遷移表を作成し、前記作成した状態遷移表を表示する請求項１に記載の状態遷移表の表示方法。
【請求項３】
任意の項目を選択し、前記選択した項目より下層の項目を表示または非表示とする段階によって状態遷移表を作成し、前記作成した状態遷移表を表示する請求項２に記載の状態遷移表の表示方法。
【請求項４】
前記非表示とした項目に対応する処理情報定義セルの内容を１つのセルに集約表示する段階によって状態遷移表を作成し、前記作成した状態遷移表を表示する請求項３に記載の状態遷移表の表示方法。
【請求項５】
イベントと状態をそれぞれ行項目または列項目に分けて構成した状態遷移表において、１つの状態階層をイベント側の階層に移動させ、前記移動した状態項目に対応する処理情報を連続したセルに表示する請求項１に記載の状態遷移表の表示方法。
【請求項６】
前記状態項目を行項目から列項目または列項目から行項目に移動させた時に発生する未定義項目に対する処理情報セルの重複定義を自動的に補完する段階によって状態遷移表を作成し、前記作成した状態遷移表を表示する請求項１に記載の状態遷移表の表示方法。
【請求項７】
前記状態遷移表に対して、イベントに対応する状態または状態に対応するイベントを追加すると、例外条件を自動的に追加する段階によって状態遷移表を作成し、前記作成した状態遷移表を表示する請求項１〜６のいずれか１項に記載の状態遷移表の表示方法。
【請求項８】
複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとをもつ状態遷移表の表示装置であって、
行項目から列項目または列項目から行項目に移動させる項目を選択し、前記選択した項目の移動先を選択し、
前記移動先の上層の階層項目の構成に従って、前記選択した項目の移動後の構成を決定し、
前記選択した項目の構成に従って、前記移動先の下層の階層項目の構成を決定し、
前記移動させた項目の移動元の上層の階層項目の構成に従って、前記選択した項目を移動させた後の下層の項目の構成を決定し、
前記決定した項目構成に従って、処理情報セルを配置して状態遷移表を作成する状態遷移表作成処理部と、
前記状態遷移表作成処理部で作成された状態遷移表を表示させる表示処理部とを備えた
表示装置。
【請求項９】
前記状態遷移表作成処理部は、任意の項目を選択し、前記選択した項目より下層の項目を表示または非表示とする状態遷移表を作成する請求項８に記載の表示装置。
【請求項１０】
前記状態遷移表作成処理部は、前記非表示とした項目に対応する処理情報定義セルの内容を１つのセルに集約表示して状態遷移表を作成する請求項９に記載の表示装置。
【請求項１１】
前記状態遷移表作成処理部は、状態項目を行項目から列項目、または列項目から行項目に移動させた時に発生する未定義項目に対する処理情報セルの重複定義を自動的に補完して状態遷移表を作成する請求項１０に記載の表示装置。
【請求項１２】
前記状態遷移表作成処理部は、前記状態遷移表に対して、イベントに対応する状態または状態に対応するイベントを追加すると、例外条件を自動的に追加して状態遷移表を作成する請求項１１に記載の表示装置。

【図１】