JPH0728862A - 階層化状態遷移モデル - Google Patents
階層化状態遷移モデルInfo
- Publication number
- JPH0728862A JPH0728862A JP5174189A JP17418993A JPH0728862A JP H0728862 A JPH0728862 A JP H0728862A JP 5174189 A JP5174189 A JP 5174189A JP 17418993 A JP17418993 A JP 17418993A JP H0728862 A JPH0728862 A JP H0728862A
- Authority
- JP
- Japan
- Prior art keywords
- state
- state transition
- transition model
- lower layer
- model
- 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.)
- Granted
Links
Abstract
(57)【要約】
【目的】 状態遷移図を階層化して、効率的かつ理解し
やすいように記述することを可能にした階層化状態遷移
モデルを提供する。 【構成】 初期状態から発生する複数の状態を内容に従
って複数の状態グループに分割し、この分割された複数
の状態グループの各々を仮想状態としてまとめ、この複
数の仮想状態および初期状態を含む階層０の状態遷移モ
デルに対して前記仮想状態を階層１−１，１−２のよう
に階層化し、この階層化された各仮想状態を元の複数の
状態からなる状態遷移モデルで表現している。
やすいように記述することを可能にした階層化状態遷移
モデルを提供する。 【構成】 初期状態から発生する複数の状態を内容に従
って複数の状態グループに分割し、この分割された複数
の状態グループの各々を仮想状態としてまとめ、この複
数の仮想状態および初期状態を含む階層０の状態遷移モ
デルに対して前記仮想状態を階層１−１，１−２のよう
に階層化し、この階層化された各仮想状態を元の複数の
状態からなる状態遷移モデルで表現している。
Description
【０００１】
【産業上の利用分野】本発明は、内外界からのイベント
に応じて状態を遷移する状態遷移モデルに関し、更に詳
しくは、状態遷移モデルを階層化した階層化状態遷移モ
デルに関する。
に応じて状態を遷移する状態遷移モデルに関し、更に詳
しくは、状態遷移モデルを階層化した階層化状態遷移モ
デルに関する。
【０００２】
【従来の技術】図７は、図８に示す自動販売機における
ヒータ制御を表した従来の状態遷移モデルを表す状態遷
移図である。図８に示す自動販売機は、左室３、中室４
および右室５の３部屋を有し、そのうちの右室５と中室
４には下方にヒータ１およびヒータ２が設けられ、冷温
の切り替えが可能であり、各室の遷差温度によってヒー
タのオン／オフ制御を行うようになっている。また、各
部屋の温度を検知するために各部屋、すなわち各ヒータ
１，２に対応して図示しないセンサ１，２も設けられる
とともに、更に冷温切換えレバー６も設けられている。
ヒータ制御を表した従来の状態遷移モデルを表す状態遷
移図である。図８に示す自動販売機は、左室３、中室４
および右室５の３部屋を有し、そのうちの右室５と中室
４には下方にヒータ１およびヒータ２が設けられ、冷温
の切り替えが可能であり、各室の遷差温度によってヒー
タのオン／オフ制御を行うようになっている。また、各
部屋の温度を検知するために各部屋、すなわち各ヒータ
１，２に対応して図示しないセンサ１，２も設けられる
とともに、更に冷温切換えレバー６も設けられている。
【０００３】このような自動販売機における前記ヒータ
１，２の制御が図７の状態遷移図で示されている。図７
に示す状態遷移図においては、［ｓｅｌｅｃｔ］状態か
ら冷温切換えスイッチに従ってヒータ１のみの制御とヒ
ータ１，２の制御に大別され、ヒータ１関係では、「ヒ
ータ１ＯＦＦ」状態および「ヒータ１ＯＮ」状態の２つ
の遷移状態があり、またヒータ１，２関係では、「ヒー
タ１，２ＯＦＦ」状態、「ヒータ１ＯＮ」状態、「ヒー
タ２ＯＮ」状態、「ヒータ１，２ＯＮ」状態の４つの遷
移状態がある。
１，２の制御が図７の状態遷移図で示されている。図７
に示す状態遷移図においては、［ｓｅｌｅｃｔ］状態か
ら冷温切換えスイッチに従ってヒータ１のみの制御とヒ
ータ１，２の制御に大別され、ヒータ１関係では、「ヒ
ータ１ＯＦＦ」状態および「ヒータ１ＯＮ」状態の２つ
の遷移状態があり、またヒータ１，２関係では、「ヒー
タ１，２ＯＦＦ」状態、「ヒータ１ＯＮ」状態、「ヒー
タ２ＯＮ」状態、「ヒータ１，２ＯＮ」状態の４つの遷
移状態がある。
【０００４】状態の遷移について一例をあげて説明する
と、例えば「ヒータ１ＯＦＦ」状態においては、ヒータ
１に対応するセンサ１がヒータ１のＯＮすべき温度を検
知すると、ヒータ１をＯＮし、すなわちセンサ１＞ＯＮ
／「ヒータ１−ＯＮ」により「ヒータ１ＯＮ」状態に遷
移する。また、「ヒータ１ＯＮ」状態においては、セン
サ１＜ＯＦＦ／「ヒータ１−ＯＦＦ」により「ヒータ１
ＯＦＦ」状態に遷移する。
と、例えば「ヒータ１ＯＦＦ」状態においては、ヒータ
１に対応するセンサ１がヒータ１のＯＮすべき温度を検
知すると、ヒータ１をＯＮし、すなわちセンサ１＞ＯＮ
／「ヒータ１−ＯＮ」により「ヒータ１ＯＮ」状態に遷
移する。また、「ヒータ１ＯＮ」状態においては、セン
サ１＜ＯＦＦ／「ヒータ１−ＯＦＦ」により「ヒータ１
ＯＦＦ」状態に遷移する。
【０００５】更に、「ヒータ１，２ＯＦＦ」状態におい
ては、センサ２＞ＯＮ／「ヒータ２−ＯＮ」により「ヒ
ータ２ＯＮ」状態に遷移し、この「ヒータ２ＯＮ」状態
からセンサ１＞ＯＮ／「ヒータ１−ＯＮ」により「ヒー
タ１，２ＯＮ」状態に遷移する。
ては、センサ２＞ＯＮ／「ヒータ２−ＯＮ」により「ヒ
ータ２ＯＮ」状態に遷移し、この「ヒータ２ＯＮ」状態
からセンサ１＞ＯＮ／「ヒータ１−ＯＮ」により「ヒー
タ１，２ＯＮ」状態に遷移する。
【０００６】
【発明が解決しようとする課題】上述した従来の状態遷
移モデルを表す状態遷移図においては、ヒータ１関係の
状態遷移図も、ヒータ１，２関係の状態遷移図も１つの
状態遷移図内に一緒に記述されているため、記述量が多
くなり、理解し難いという問題がある。
移モデルを表す状態遷移図においては、ヒータ１関係の
状態遷移図も、ヒータ１，２関係の状態遷移図も１つの
状態遷移図内に一緒に記述されているため、記述量が多
くなり、理解し難いという問題がある。
【０００７】本発明は、上記に鑑みてなされたもので、
その目的とするところは、状態遷移図を階層化して、効
率的かつ理解しやすいように記述することを可能にした
階層化状態遷移モデルを提供することにある。
その目的とするところは、状態遷移図を階層化して、効
率的かつ理解しやすいように記述することを可能にした
階層化状態遷移モデルを提供することにある。
【０００８】
【課題を解決するための手段】上記目的を達成するた
め、本発明の階層化状態遷移モデルは、内外界からのイ
ベントに応じて状態を遷移する状態遷移モデルであっ
て、初期状態から発生する複数の状態を内容に従って複
数の状態グループに分割し、この分割された複数の状態
グループの各々を仮想状態としてまとめ、この複数の仮
想状態および初期状態を含む状態遷移モデルに対して前
記仮想状態を階層化し、この階層化された各仮想状態を
元の複数の状態からなる状態遷移モデルで表現したこと
を要旨とする。
め、本発明の階層化状態遷移モデルは、内外界からのイ
ベントに応じて状態を遷移する状態遷移モデルであっ
て、初期状態から発生する複数の状態を内容に従って複
数の状態グループに分割し、この分割された複数の状態
グループの各々を仮想状態としてまとめ、この複数の仮
想状態および初期状態を含む状態遷移モデルに対して前
記仮想状態を階層化し、この階層化された各仮想状態を
元の複数の状態からなる状態遷移モデルで表現したこと
を要旨とする。
【０００９】また、本発明の階層化状態遷移モデルは、
ある状態遷移モデル内において仮想状態に遷移した場合
には、この仮想状態に対応する下層の状態遷移モデルを
起動して、元の状態遷移モデルを待機させ、前記下層の
状態遷移モデルが最終状態に遷移する時、下層の状態遷
移モデルを終了させて、元の状態遷移モデルを再起動
し、下層の最終状態を元の状態遷移モデルに対してイベ
ントとして与えて遷移を再開させることを要旨とする。
ある状態遷移モデル内において仮想状態に遷移した場合
には、この仮想状態に対応する下層の状態遷移モデルを
起動して、元の状態遷移モデルを待機させ、前記下層の
状態遷移モデルが最終状態に遷移する時、下層の状態遷
移モデルを終了させて、元の状態遷移モデルを再起動
し、下層の最終状態を元の状態遷移モデルに対してイベ
ントとして与えて遷移を再開させることを要旨とする。
【００１０】更に、本発明の階層化状態遷移モデルは、
ある状態遷移モデル内において仮想状態に遷移した場合
には、この仮想状態に対応する下層の状態遷移モデルを
起動し、元の状態遷移モデルは通常のイベントに応じて
または下層の状態遷移モデルの最終状態に応じて遷移を
行い、この遷移により下層の状態遷移モデルを終了させ
ることを要旨とする。
ある状態遷移モデル内において仮想状態に遷移した場合
には、この仮想状態に対応する下層の状態遷移モデルを
起動し、元の状態遷移モデルは通常のイベントに応じて
または下層の状態遷移モデルの最終状態に応じて遷移を
行い、この遷移により下層の状態遷移モデルを終了させ
ることを要旨とする。
【００１１】また更に、本発明の階層化状態遷移モデル
は、ある状態遷移モデル内において仮想状態に遷移した
場合には、この仮想状態に対応する下層の状態遷移モデ
ルを起動し、元の状態遷移モデルは通常のイベントに応
じてまたは下層の状態遷移モデルの最終状態に応じて遷
移を行い、元の状態遷移モデルに遷移した場合には、下
層の状態遷移モデルを再度初期状態から起動することを
要旨とする。
は、ある状態遷移モデル内において仮想状態に遷移した
場合には、この仮想状態に対応する下層の状態遷移モデ
ルを起動し、元の状態遷移モデルは通常のイベントに応
じてまたは下層の状態遷移モデルの最終状態に応じて遷
移を行い、元の状態遷移モデルに遷移した場合には、下
層の状態遷移モデルを再度初期状態から起動することを
要旨とする。
【００１２】本発明の階層化状態遷移モデルは、ある状
態遷移モデル内において仮想状態に遷移した場合には、
この仮想状態に対応する下層の状態遷移モデルを起動
し、元の状態遷移モデルは通常のイベントに応じてまた
は下層の状態遷移モデルの最終状態に応じて遷移を行
い、元の状態遷移モデルに遷移した場合には、そのまま
の状態で下層の状態遷移モデルを実行させることを要旨
とする。
態遷移モデル内において仮想状態に遷移した場合には、
この仮想状態に対応する下層の状態遷移モデルを起動
し、元の状態遷移モデルは通常のイベントに応じてまた
は下層の状態遷移モデルの最終状態に応じて遷移を行
い、元の状態遷移モデルに遷移した場合には、そのまま
の状態で下層の状態遷移モデルを実行させることを要旨
とする。
【００１３】また、本発明の階層化状態遷移モデルは、
上位の状態遷移モデルと複数の下層の状態遷移モデルを
同時に動作させる場合、最下層の状態遷移モデルから順
次上位の状態遷移モデルについて遷移させるかどうかを
評価することを要旨とする。
上位の状態遷移モデルと複数の下層の状態遷移モデルを
同時に動作させる場合、最下層の状態遷移モデルから順
次上位の状態遷移モデルについて遷移させるかどうかを
評価することを要旨とする。
【００１４】
【作用】本発明の階層化状態遷移モデルでは、複数の状
態を内容に従って複数の状態グループに分割して階層化
している。
態を内容に従って複数の状態グループに分割して階層化
している。
【００１５】また、本発明の階層化状態遷移モデルで
は、仮想状態に遷移した場合には、下層の状態遷移モデ
ルを起動して、元の状態遷移モデルを待機させ、下層の
状態遷移モデルが最終状態に遷移する時、下層の状態遷
移モデルを終了させて、元の状態遷移モデルを再起動す
る。
は、仮想状態に遷移した場合には、下層の状態遷移モデ
ルを起動して、元の状態遷移モデルを待機させ、下層の
状態遷移モデルが最終状態に遷移する時、下層の状態遷
移モデルを終了させて、元の状態遷移モデルを再起動す
る。
【００１６】更に、本発明の階層化状態遷移モデルで
は、仮想状態に遷移した場合には、下層の状態遷移モデ
ルを起動し、元の状態遷移モデルは通常のイベントまた
は下層の状態遷移モデルの最終状態に応じて遷移を行
い、この遷移により下層の状態遷移モデルを終了させ
る。
は、仮想状態に遷移した場合には、下層の状態遷移モデ
ルを起動し、元の状態遷移モデルは通常のイベントまた
は下層の状態遷移モデルの最終状態に応じて遷移を行
い、この遷移により下層の状態遷移モデルを終了させ
る。
【００１７】また更に、本発明の階層化状態遷移モデル
は、仮想状態に遷移した場合には、下層の状態遷移モデ
ルを起動し、元の状態遷移モデルは通常のイベントまた
は下層の状態遷移モデルの最終状態に応じて遷移を行
い、元の状態遷移モデルに遷移した場合には、下層の状
態遷移モデルを再度初期状態から起動する。
は、仮想状態に遷移した場合には、下層の状態遷移モデ
ルを起動し、元の状態遷移モデルは通常のイベントまた
は下層の状態遷移モデルの最終状態に応じて遷移を行
い、元の状態遷移モデルに遷移した場合には、下層の状
態遷移モデルを再度初期状態から起動する。
【００１８】本発明の階層化状態遷移モデルでは、仮想
状態に遷移した場合には、下層の状態遷移モデルを起動
し、元の状態遷移モデルは通常のイベントまたは下層の
状態遷移モデルの最終状態に応じて遷移を行い、元の状
態遷移モデルに遷移した場合には、そのままの状態で下
層の状態遷移モデルを実行させる。
状態に遷移した場合には、下層の状態遷移モデルを起動
し、元の状態遷移モデルは通常のイベントまたは下層の
状態遷移モデルの最終状態に応じて遷移を行い、元の状
態遷移モデルに遷移した場合には、そのままの状態で下
層の状態遷移モデルを実行させる。
【００１９】また、本発明の階層化状態遷移モデルで
は、上位の状態遷移モデルと複数の下層の状態遷移モデ
ルを同時に動作させる場合、最下層の状態遷移モデルか
ら順次上位の状態遷移モデルについて遷移させるかどう
かを評価する。
は、上位の状態遷移モデルと複数の下層の状態遷移モデ
ルを同時に動作させる場合、最下層の状態遷移モデルか
ら順次上位の状態遷移モデルについて遷移させるかどう
かを評価する。
【００２０】
【実施例】以下、図面を用いて本発明の実施例を説明す
る。
る。
【００２１】図１は、本発明の一実施例に係わる階層化
状態遷移モデルを表す状態遷移図である。同図に示す階
層化状態遷移モデルは、上述した図７に示す状態遷移図
を階層化したものである。すなわち、図７に示すような
状態遷移図をヒータ１関係とヒータ１，２関係とに大別
し、これらのヒータ１関係とヒータ１，２関係の状態遷
移図をそれぞれ下層の階層１−１および１−２として表
すとともに、これらのヒータ１関係およびヒータ１，２
関係の状態を削除した元の状態遷移図を上位の階層０と
して表し、この階層０の状態遷移図においてヒータ１関
係およびヒータ１，２関係の各状態をそれぞれ［ＣＣ
Ｈ］状態および［ＣＨＨ］状態の仮想状態として同図に
おいて二重丸で表現しているものである。このように仮
想状態をもって表される階層０の状態遷移モデルを以下
においては元の状態遷移モデルと称する。
状態遷移モデルを表す状態遷移図である。同図に示す階
層化状態遷移モデルは、上述した図７に示す状態遷移図
を階層化したものである。すなわち、図７に示すような
状態遷移図をヒータ１関係とヒータ１，２関係とに大別
し、これらのヒータ１関係とヒータ１，２関係の状態遷
移図をそれぞれ下層の階層１−１および１−２として表
すとともに、これらのヒータ１関係およびヒータ１，２
関係の状態を削除した元の状態遷移図を上位の階層０と
して表し、この階層０の状態遷移図においてヒータ１関
係およびヒータ１，２関係の各状態をそれぞれ［ＣＣ
Ｈ］状態および［ＣＨＨ］状態の仮想状態として同図に
おいて二重丸で表現しているものである。このように仮
想状態をもって表される階層０の状態遷移モデルを以下
においては元の状態遷移モデルと称する。
【００２２】このように状態遷移モデルを表す複数の状
態を内容に従って複数の状態グループに分割し、この分
割された複数の状態グループの各々を仮想状態［ＣＣ
Ｈ］，［ＣＨＨ］のようにまとめ、この複数の仮想状態
を表す各状態遷移モデルを元の状態遷移モデルに対して
階層化して表すことにより、状態遷移図の記述量を低減
し、理解性を向上することができる。
態を内容に従って複数の状態グループに分割し、この分
割された複数の状態グループの各々を仮想状態［ＣＣ
Ｈ］，［ＣＨＨ］のようにまとめ、この複数の仮想状態
を表す各状態遷移モデルを元の状態遷移モデルに対して
階層化して表すことにより、状態遷移図の記述量を低減
し、理解性を向上することができる。
【００２３】図２は、本発明の他の実施例に係わる階層
化状態遷移モデルを表す状態遷移図である。同図に示す
階層化状態遷移モデルは、冷蔵庫のコンプレッサの動作
を表しているものであるが、図１で示したように階層化
した状態遷移モデルにおいてシーケンシャルに起動する
ことを示しているものである。
化状態遷移モデルを表す状態遷移図である。同図に示す
階層化状態遷移モデルは、冷蔵庫のコンプレッサの動作
を表しているものであるが、図１で示したように階層化
した状態遷移モデルにおいてシーケンシャルに起動する
ことを示しているものである。
【００２４】更に詳しくは、図２に示す階層化状態遷移
モデルは、センサ温度でコンプレッサをオン／オフ制御
することにより冷蔵庫の温度を一定に保ち、コンプレッ
サのオン時間がある時間になると、除霜を開始する制御
を表しているものであり、図２（ａ）では、まず上位の
階層のＳＴＤ００の状態遷移図が実行状態にある場合
に、コンプレッサのオン時間がある時間になると、コン
プレッサの動作を停止し、［除霜］状態に遷移すること
になるが、ここで［除霜］状態は二重丸で示すように仮
想状態であるので、下層の除霜制御状態遷移図ＳＴＤ０
１に実行権を譲り、ＳＴＤ００はＳＴＤ０１が終了する
まで待ち状態になる。ＳＴＤ０１は初期状態である［除
霜］状態から除霜を開始する。
モデルは、センサ温度でコンプレッサをオン／オフ制御
することにより冷蔵庫の温度を一定に保ち、コンプレッ
サのオン時間がある時間になると、除霜を開始する制御
を表しているものであり、図２（ａ）では、まず上位の
階層のＳＴＤ００の状態遷移図が実行状態にある場合
に、コンプレッサのオン時間がある時間になると、コン
プレッサの動作を停止し、［除霜］状態に遷移すること
になるが、ここで［除霜］状態は二重丸で示すように仮
想状態であるので、下層の除霜制御状態遷移図ＳＴＤ０
１に実行権を譲り、ＳＴＤ００はＳＴＤ０１が終了する
まで待ち状態になる。ＳＴＤ０１は初期状態である［除
霜］状態から除霜を開始する。
【００２５】そして、図２（ｂ）で示すように、除霜が
終了すると、ＳＴＤ０１は自分の状態遷移図が終了した
ことをＳＴＤ００に知らせるとともに、実行権をＳＴＤ
００に戻す。ＳＴＤ００は除霜終了イベントを受け取
り、［コンプＯＦＦ］状態に遷移して、一連の階層展開
を終了する。
終了すると、ＳＴＤ０１は自分の状態遷移図が終了した
ことをＳＴＤ００に知らせるとともに、実行権をＳＴＤ
００に戻す。ＳＴＤ００は除霜終了イベントを受け取
り、［コンプＯＦＦ］状態に遷移して、一連の階層展開
を終了する。
【００２６】図３および４は、本発明の更に他の実施例
に係わる階層化状態遷移モデルを示す状態遷移図であ
る。同図に示す階層化状態遷移モデルは、図１で示した
ように階層化した状態遷移モデルにおいてマルチ起動を
行うことを示しているものである。
に係わる階層化状態遷移モデルを示す状態遷移図であ
る。同図に示す階層化状態遷移モデルは、図１で示した
ように階層化した状態遷移モデルにおいてマルチ起動を
行うことを示しているものである。
【００２７】更に詳しくは、上述した図２において、除
霜を強制終了する制御を追加することを考えると、図２
に示すシーケンシャルな階層展開では、実行権がＳＴＤ
０１にあるため、この部分に強制終了による遷移を記述
する必要がある。すなわち、この図２に示す例では、Ｓ
ＴＤ０１の［除霜終了待ち］状態に強制終了による遷移
を追加することで実現できるが、これでは制御が複雑に
なり、複数の状態から除霜制御状態遷移図が記述された
場合には、それらすべての状態に強制終了による遷移を
追加しなければならなくなる。そこで、強制終了のよう
な除霜制御全体に関わる遷移を一段上位の状態遷移図、
すなわちＳＴＤ００に追加して動作可能にしたものが図
３，４に示す実施例である。
霜を強制終了する制御を追加することを考えると、図２
に示すシーケンシャルな階層展開では、実行権がＳＴＤ
０１にあるため、この部分に強制終了による遷移を記述
する必要がある。すなわち、この図２に示す例では、Ｓ
ＴＤ０１の［除霜終了待ち］状態に強制終了による遷移
を追加することで実現できるが、これでは制御が複雑に
なり、複数の状態から除霜制御状態遷移図が記述された
場合には、それらすべての状態に強制終了による遷移を
追加しなければならなくなる。そこで、強制終了のよう
な除霜制御全体に関わる遷移を一段上位の状態遷移図、
すなわちＳＴＤ００に追加して動作可能にしたものが図
３，４に示す実施例である。
【００２８】すなわち、シーケンシャルな階層展開で
は、除霜仮想状態に遷移すると、状態遷移図ＳＴＤ０１
を実行状態にして、ＳＴＤ００は待ち状態になってしま
うが、マルチ階層展開では、図３，４のＳＴＤ００の
［除霜］状態に対して除霜強制終了による遷移を追加
し、これによりＳＴＤ００を実行状態のままにして、Ｓ
ＴＤ００とＳＴＤ０１の両方を実行されているものであ
る。
は、除霜仮想状態に遷移すると、状態遷移図ＳＴＤ０１
を実行状態にして、ＳＴＤ００は待ち状態になってしま
うが、マルチ階層展開では、図３，４のＳＴＤ００の
［除霜］状態に対して除霜強制終了による遷移を追加
し、これによりＳＴＤ００を実行状態のままにして、Ｓ
ＴＤ００とＳＴＤ０１の両方を実行されているものであ
る。
【００２９】また、図４に示すように、２つの状態遷移
図が同時に実行状態にあるとき、下層の状態遷移図から
上層の状態遷移図の順に評価すると効率的である。ＳＴ
Ｄ００の［除霜］仮想状態から遷移するためには、除霜
終了イベントまたは除霜強制終了イベントが発生する必
要があるが、除霜強制終了イベントは例外的に発生する
ものであり、通常は除霜終了イベントにより遷移する。
除霜終了イベントはＳＴＤ０１から発生させられるた
め、ＳＴＤ０１からＳＴＤ００の順に評価すると効果的
である。このように下層から評価を行うことにより、階
層が２段の場合には、どちらから評価しても順番は変わ
らないが、３段以上になると、効果が現れる。
図が同時に実行状態にあるとき、下層の状態遷移図から
上層の状態遷移図の順に評価すると効率的である。ＳＴ
Ｄ００の［除霜］仮想状態から遷移するためには、除霜
終了イベントまたは除霜強制終了イベントが発生する必
要があるが、除霜強制終了イベントは例外的に発生する
ものであり、通常は除霜終了イベントにより遷移する。
除霜終了イベントはＳＴＤ０１から発生させられるた
め、ＳＴＤ０１からＳＴＤ００の順に評価すると効果的
である。このように下層から評価を行うことにより、階
層が２段の場合には、どちらから評価しても順番は変わ
らないが、３段以上になると、効果が現れる。
【００３０】図５は、本発明の別の実施例に係わる階層
化状態遷移モデルを表す状態遷移図である。同図に示す
階層化状態遷移モデルは、元の状態遷移モデルに戻った
場合に下層の状態遷移モデルを初期化して再起動する場
合の実施例を示している。
化状態遷移モデルを表す状態遷移図である。同図に示す
階層化状態遷移モデルは、元の状態遷移モデルに戻った
場合に下層の状態遷移モデルを初期化して再起動する場
合の実施例を示している。
【００３１】すなわち、上述したマルチな階層展開方式
を有する階層化状態遷移モデルでは、仮想状態から元の
状態遷移モデルである自分自身に遷移する場合、その下
層の状態遷移図をどのように制御するかが問題になる
が、本実施例では、遷移することで下層の状態遷移図を
再度初期状態から実行するものである。
を有する階層化状態遷移モデルでは、仮想状態から元の
状態遷移モデルである自分自身に遷移する場合、その下
層の状態遷移図をどのように制御するかが問題になる
が、本実施例では、遷移することで下層の状態遷移図を
再度初期状態から実行するものである。
【００３２】図５の例は、テストスイッチが押される度
に（テストＳＷＯＮ）、テストを最初から開始するよう
な制御を状態遷移図で記述している。この場合、ＳＴＤ
００でテストスイッチが押されると、［テスト］仮想状
態に遷移するので、仮想のＳＴＤ０１はその度に初期状
態である［テスト］状態から遷移が始まることを示して
いる。
に（テストＳＷＯＮ）、テストを最初から開始するよう
な制御を状態遷移図で記述している。この場合、ＳＴＤ
００でテストスイッチが押されると、［テスト］仮想状
態に遷移するので、仮想のＳＴＤ０１はその度に初期状
態である［テスト］状態から遷移が始まることを示して
いる。
【００３３】図６は、本発明の更に別の実施例に係わる
階層化状態遷移モデルを示す状態遷移図である。同図に
示す階層化状態遷移モデルは、元の状態遷移モデルに戻
った場合に下層の状態遷移モデルに影響を与えずにその
ままの状態で下層の状態遷移モデルを実行させる実施例
を示している。
階層化状態遷移モデルを示す状態遷移図である。同図に
示す階層化状態遷移モデルは、元の状態遷移モデルに戻
った場合に下層の状態遷移モデルに影響を与えずにその
ままの状態で下層の状態遷移モデルを実行させる実施例
を示している。
【００３４】すなわち、上述したマルチな階層展開方式
を有する階層化状態遷移モデルでは、仮想状態から元の
状態遷移モデルである自分自身に遷移する場合、その下
層の状態遷移図をどのように制御するかが問題になる
が、本実施例では、下層の状態遷移図はそのまま実行さ
せ、初期化しないものである。
を有する階層化状態遷移モデルでは、仮想状態から元の
状態遷移モデルである自分自身に遷移する場合、その下
層の状態遷移図をどのように制御するかが問題になる
が、本実施例では、下層の状態遷移図はそのまま実行さ
せ、初期化しないものである。
【００３５】図６の例では、除霜中に一気冷凍スイッチ
が押される場合、一気発光ダイオード（ＬＥＤ）のみ点
灯し、除霜が終了してから一気冷凍を行う制御を示して
いる。この場合は、下層の除霜状態遷移図はそのまま実
行させ、初期化はしない。
が押される場合、一気発光ダイオード（ＬＥＤ）のみ点
灯し、除霜が終了してから一気冷凍を行う制御を示して
いる。この場合は、下層の除霜状態遷移図はそのまま実
行させ、初期化はしない。
【００３６】図５および６に示した実施例において、仮
想状態から元の状態遷移モデルである自分自身に遷移す
る場合、いずれの実施例の方法を選択するかは、遷移に
下層の状態遷移図を初期化するかどうかの情報を付加す
ることにより実現することができる。
想状態から元の状態遷移モデルである自分自身に遷移す
る場合、いずれの実施例の方法を選択するかは、遷移に
下層の状態遷移図を初期化するかどうかの情報を付加す
ることにより実現することができる。
【００３７】
【発明の効果】以上説明したように、本発明によれば、
複数の状態を内容に従って複数の状態グループに分割し
て階層化しているので、状態遷移図の記述量が低減し、
記述効率を高めるとともに、理解性を向上することがで
きる。
複数の状態を内容に従って複数の状態グループに分割し
て階層化しているので、状態遷移図の記述量が低減し、
記述効率を高めるとともに、理解性を向上することがで
きる。
【図１】本発明の一実施例に係わる階層化状態遷移モデ
ルを表す状態遷移図である。
ルを表す状態遷移図である。
【図２】本発明の他の実施例に係わる階層化状態遷移モ
デルを表す状態遷移図である。
デルを表す状態遷移図である。
【図３】本発明の更に他の実施例に係わる階層化状態遷
移モデルを示す状態遷移図である。
移モデルを示す状態遷移図である。
【図４】図３に示す実施例の階層化状態遷移モデルを示
す状態遷移図である。
す状態遷移図である。
【図５】本発明の別の実施例に係わる階層化状態遷移モ
デルを表す状態遷移図である。
デルを表す状態遷移図である。
【図６】本発明の更に別の実施例に係わる階層化状態遷
移モデルを表す状態遷移図である。
移モデルを表す状態遷移図である。
【図７】従来の状態遷移モデルを表す状態遷移図であ
る。
る。
【図８】図７の状態遷移図で表される自動販売機を示す
図である。
図である。
１，２ ヒータ ３ 左室 ４ 中室 ５ 右室 ６ 冷温切換えレバー
Claims (6)
- 【請求項１】 内外界からのイベントに応じて状態を遷
移する状態遷移モデルであって、初期状態から発生する
複数の状態を内容に従って複数の状態グループに分割
し、この分割された複数の状態グループの各々を仮想状
態としてまとめ、この複数の仮想状態および初期状態を
含む状態遷移モデルに対して前記仮想状態を階層化し、
この階層化された各仮想状態を元の複数の状態からなる
状態遷移モデルで表現したことを特徴とする階層化状態
遷移モデル。 - 【請求項２】 ある状態遷移モデル内において仮想状態
に遷移した場合には、この仮想状態に対応する下層の状
態遷移モデルを起動して、元の状態遷移モデルを待機さ
せ、前記下層の状態遷移モデルが最終状態に遷移する
時、下層の状態遷移モデルを終了させて、元の状態遷移
モデルを再起動し、下層の最終状態を元の状態遷移モデ
ルに対してイベントとして与えて遷移を再開させること
を特徴とする請求項１記載の階層化状態遷移モデル。 - 【請求項３】 ある状態遷移モデル内において仮想状態
に遷移した場合には、この仮想状態に対応する下層の状
態遷移モデルを起動し、元の状態遷移モデルは通常のイ
ベントに応じてまたは下層の状態遷移モデルの最終状態
に応じて遷移を行い、この遷移により下層の状態遷移モ
デルを終了させることを特徴とする請求項１記載の階層
化状態遷移モデル。 - 【請求項４】 ある状態遷移モデル内において仮想状態
に遷移した場合には、この仮想状態に対応する下層の状
態遷移モデルを起動し、元の状態遷移モデルは通常のイ
ベントに応じてまたは下層の状態遷移モデルの最終状態
に応じて遷移を行い、元の状態遷移モデルに遷移した場
合には、下層の状態遷移モデルを再度初期状態から起動
することを特徴とする請求項３記載の階層化状態遷移モ
デル。 - 【請求項５】 ある状態遷移モデル内において仮想状態
に遷移した場合には、この仮想状態に対応する下層の状
態遷移モデルを起動し、元の状態遷移モデルは通常のイ
ベントに応じてまたは下層の状態遷移モデルの最終状態
に応じて遷移を行い、元の状態遷移モデルに遷移した場
合には、そのままの状態で下層の状態遷移モデルを実行
させることを特徴とする請求項３記載の階層化状態遷移
モデル。 - 【請求項６】 上位の状態遷移モデルと複数の下層の状
態遷移モデルを同時に動作させる場合、最下層の状態遷
移モデルから順次上位の状態遷移モデルについて遷移さ
せるかどうかを評価することを特徴とする請求項３記載
の階層化状態遷移モデル。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17418993A JP3267395B2 (ja) | 1993-07-14 | 1993-07-14 | 階層化状態遷移モデル記述方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17418993A JP3267395B2 (ja) | 1993-07-14 | 1993-07-14 | 階層化状態遷移モデル記述方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0728862A true JPH0728862A (ja) | 1995-01-31 |
| JP3267395B2 JP3267395B2 (ja) | 2002-03-18 |
Family
ID=15974282
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP17418993A Expired - Fee Related JP3267395B2 (ja) | 1993-07-14 | 1993-07-14 | 階層化状態遷移モデル記述方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3267395B2 (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009262702A (ja) * | 2008-04-23 | 2009-11-12 | Fuji Heavy Ind Ltd | 安全運転支援システム |
| JP2009288815A (ja) * | 2003-12-05 | 2009-12-10 | Kenwood Corp | 機器制御装置、音声認識装置、エージェント装置、機器制御方法及びプログラム |
| JP2011044131A (ja) * | 2009-08-19 | 2011-03-03 | Fujitsu Ltd | 設計検証プログラム、設計検証方法および設計検証装置 |
| JP2013176804A (ja) * | 2012-02-09 | 2013-09-09 | Nippon Steel & Sumitomo Metal Corp | 製造プロセスの離散モデルのアップデート支援方法、装置及びプログラム |
-
1993
- 1993-07-14 JP JP17418993A patent/JP3267395B2/ja not_active Expired - Fee Related
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009288815A (ja) * | 2003-12-05 | 2009-12-10 | Kenwood Corp | 機器制御装置、音声認識装置、エージェント装置、機器制御方法及びプログラム |
| JP2009262702A (ja) * | 2008-04-23 | 2009-11-12 | Fuji Heavy Ind Ltd | 安全運転支援システム |
| JP2011044131A (ja) * | 2009-08-19 | 2011-03-03 | Fujitsu Ltd | 設計検証プログラム、設計検証方法および設計検証装置 |
| JP2013176804A (ja) * | 2012-02-09 | 2013-09-09 | Nippon Steel & Sumitomo Metal Corp | 製造プロセスの離散モデルのアップデート支援方法、装置及びプログラム |
Also Published As
| Publication number | Publication date |
|---|---|
| JP3267395B2 (ja) | 2002-03-18 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| TWI703498B (zh) | 記憶體裝置與電子裝置的啟動程式載入方法 | |
| JP2002175183A (ja) | 半導体集積回路 | |
| CN105204931A (zh) | 低功耗可穿戴设备及其多操作系统切换、通信及管理方法 | |
| US20080162901A1 (en) | Computer Multiple Operation System Switching Method | |
| US20070150717A1 (en) | Selectable booting method by bios with multi-partition in the disk on a single computer platform | |
| CN101236487A (zh) | 存储器子系统的多字元储存/读取方法以及其电路 | |
| JPH0728862A (ja) | 階層化状態遷移モデル | |
| JP2017018272A (ja) | 遊技機 | |
| CN109451150A (zh) | 灯效控制方法、控制单元、智能终端及计算机可读存储介质 | |
| CN113254079B (zh) | 一种用于实现自增指令的方法及系统 | |
| US6898671B2 (en) | Data processor for reducing set-associative cache energy via selective way prediction | |
| JPH01147627A (ja) | 質問応答装置 | |
| JP2017202397A (ja) | 遊技機 | |
| CN108989117B (zh) | 通信协议的配置方法、无线通信装置和家用电器 | |
| JPH0793152A (ja) | マイクロプロセッサ制御装置 | |
| JP2019171223A (ja) | 遊技機 | |
| CN205283513U (zh) | 一种控制面板 | |
| JP6302819B2 (ja) | 遊技機 | |
| JPH04313104A (ja) | 制御装置 | |
| JP2018089468A (ja) | 遊技機 | |
| JP2017202398A (ja) | 遊技機 | |
| JP6585677B2 (ja) | 遊技機 | |
| JP4609702B2 (ja) | データ処理システムおよびその制御方法 | |
| JPS6016667B2 (ja) | 複合計算機システム | |
| CN116775308A (zh) | 智能家居方案设计方法、系统、电子设备和介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080111 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090111 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100111 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100111 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110111 Year of fee payment: 9 |
|
| LAPS | Cancellation because of no payment of annual fees |