JPH08305554A - 階層化状態遷移決定表に基づくプログラム実行方法および装置 - Google Patents

Abstract

(57)【要約】 （修正有） 【目的】並行動作する複数のコンポーネントの状態遷移
の組み合わせを階層木構造で定義し、動作をそれぞれ決
定表で表現し、下位の決定表の内容を合成して上位の決
定表の内容を作るというボトムアップな階層化を行うだ
けで、コンポーネントの動作を容易に管理し、実行制御
する。 【構成】並行動作する複数のコンポーネントが互いにイ
ンタラクションを取りながら非決定的に状態遷移をして
いるような対象システムの階層木構造を入力し、階層木
構造の各ノードにおける状態決定表を定義する。そし
て、任意の状態ノードにイベントが入力したときは、状
態決定表に基づいてその状態ノードにおける状態遷移を
生起するとともに、状態遷移の生起を内部イベントとし
て、状態遷移の影響が及ぶ上位の状態ノードに送る。内
部イベントを入力した上位の状態ノードは、同様にして
状態遷移を起こしさらに上位に内部イベントを送る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、階層構造を備えた複数
の構成要素が互いにインタラクションをとりながら動作
し、各構成要素の状態が組み合わされて全体のシステム
状態を定義するような複雑なシステムにおいて、状態遷
移、およびそれに対応して遷移する上位レイヤの状態遷
移、並びにそれらに付随するプログラムの実行を制御す
る方法および装置に関する。

【０００２】

【従来の技術】従来より、状態遷移グラフや状態遷移表
は、プログラムチェックなどのテストで利用されること
が多い。例えば、「野木、中所著：プログラミングツー
ル、ソフトウェア講座２７、pp.156-157, 昭晃堂(198
9)」では、設計開発したシステムの機能テストを自動化
するツールとして状態遷移図を用いる方法が記載されて
いる。

【０００３】また、従来より提案されている状態モデル
の記述方法で、最も一般的なものに状態遷移表（デシジ
ョンテーブル、イベントステートマトリクスともいう）
がある。これは、「ある状態で、あるイベントが入力さ
れると、ある状態に状態が遷移する。」という概念に基
づいて、システムの動作仕様を図的に記述するものであ
る。この記述方法は、ハードウェア論理設計や通信ソフ
トウェア設計の分野を中心に有効に用いられていること
が、「田畑著：ＯＳＩ−明日へのコンピュータネットワ
ーク、pp.63-66, 日本規格協会( 1987 )」に記載されて
いる。

【０００４】しかしながら、状態遷移表による状態モデ
ルの記述方法では、状態遷移の記述がフラットであるた
め、状態数が増えると状態遷移記述が組み合わせ的に複
雑になり、仕様記述が困難となる可能性がある。また、
そのように組み合わせ的に複雑になった１枚の状態遷移
表に基づいてプログラミングをしようとすると、プログ
ラムも大きくなり構造が複雑になるため大変である。

【０００５】これらの問題に対し、特開平３−２９４９
２４号および「渡辺著、電子開発学園編：リアルタイム
制御ＣＡＳＥ（ＺＩＰ Ｃによる事例）、pp.33-54、電
子開発学園出版局（1993）」では、一枚の状態決定表が
大きくなり過ぎる場合には、状態決定表を階層化して複
数枚にわける方法を提案している。この場合の階層化と
は、不必要な詳細レベルを隠すことによってシステムを
理解しやすくするためのもので、マクロな上位階層から
状態決定表を生成し、「ある状態で、あるイベントが入
力された結果」の状態を詳細化することの繰返しのこと
である。

【０００６】また、従来から、複数のデシジョンテーブ
ルを用いたテーブルドリブンのプログラム実行方法とい
うのがある。これは、複数のデシジョンテーブルの間
で、あるテーブルの状態遷移が起こると、イベントが他
のテーブルに伝搬して他のテーブルにおける状態遷移も
起こる、というようにプログラムを実行していく方法で
ある。

【０００７】さらには、先に述べた従来技術の特開平３
−２９４９２４号および「ＺＩＰＣによる事例」で提案
された方法においても、上記テーブルドリブンの方法
で、階層化した複数個の状態決定表（デシジョンテーブ
ル）の間で上位階層から下位階層へメッセージをやりと
りして、プログラムを実行するようにしている。

【０００８】この特開平３−２９４９２４号および「Ｚ
ＩＰ Ｃによる事例」で提案された方法では、一枚の状
態決定表をトップダウンで階層化する。上位レベルの状
態決定表で詳細情報を隠蔽するために、下位レベルの状
態決定表にイベントを継承させて、詳細情報は下位レベ
ルの状態決定表において表現するようにする。上位の状
態決定表においては、ある遷移が起こったとき、その結
果が１個の状態に確定するのではなく、下位の状態決定
表に移り、その中で遷移する。下位レベルの決定表から
上位の決定表に戻る場合は「インメイル」という記述方
法を使う。１個の状態決定表の下位レベルは、最大、そ
の状態決定表のマトリクスの数であり、レベルの深さに
制限はないので、状態決定表をツリー構造に基づいて関
係付けている。

【０００９】また、特開平３−２９４９２４号および
「ＺＩＰ Ｃによる事例」で状態遷移を実行する際に、
カレント状態をトークンで表すと、階層化された複数個
の状態決定表の中に、トークンは常に１個である。そし
て、初期状態においては、必ず、トークンは最上位の状
態決定表にあり、そこから、下位レベルに降りていく。
従って、ツリー構造の上下をつなぐ枝をたどる一系列の
状態遷移しか実行できない。

【００１０】特開平５−１２８２０１号には、階層化表
現可能な状態遷移表を用いて、上位階層で記述された条
件を下位階層へ自動的に盛り込み、記述量を増さずに上
位レベルの記述をする論理設計方式が開示されている。
これは、上位の状態遷移表における１つの状態に対し、
その状態内部での遷移を下位の状態遷移表を用いて行な
うものであり、要するに１個の取り得る状態を細分化す
る階層化を行なうものである。

【００１１】

【発明が解決しようとする課題】従来の一般的なテーブ
ルドリブンの方法では、複数のテーブルの関係がお互い
フラットで、テーブル数が増えると組み合わせ的に複雑
になってしまう。

【００１２】また、特開平３−２９４９２４号あるいは
ＺＩＰ Ｃのテーブルドリブン方式は、もともと一つの
状態決定表に表現される状態遷移の内容を階層化したも
のであって、本来、１本道のシーケンシャルな状態遷移
しか実行できない。

【００１３】もしも、並行動作する複数のコンポーネン
トが互いにインタラクションを取りながら非決定的に状
態遷移をしているようなシステムの動作仕様を、上述の
ＺＩＰ Ｃの方式で表現しようとすると、まず、そのす
べてのコンポーネントの状態遷移を１つのシーケンシャ
ルな決定表にまとめて、それを階層化して階層的な状態
決定表を作らなければならない。

【００１４】しかしながら、並行動作する複数のコンポ
ーネントの状態の組み合わせで定義されるすべての状態
を洗い出し、その間の動作を定義する作業は、コンポー
ネントの数が増えると＊（直積）組み合わせ的に複雑に
なってしまう。すなわち、並行動作するコンポーネント
を、まず、１個にまとめてから階層化するというのは、
困難なことである。

【００１５】本発明の目的は、並行動作する複数のコン
ポーネントの状態遷移の組み合わせを階層木構造で定義
し、個々のコンポーネントの動作を、それぞれ決定表
（デシジョンテーブル）で表現し、下位の決定表の内容
を合成して上位の決定表の内容を作るというボトムアッ
プな階層化を行うだけで、並行に状態遷移するコンポー
ネントの動作を容易に管理し、実行制御する方法、およ
びそれらの装置を提供することにある。

【００１６】

【課題を解決するための手段】本発明に係る階層化状態
遷移決定表に基づくプログラム実行方法および装置は、
プログラムを実行する対象システムの階層木構造を入力
して記憶し、該階層木構造の各ノード（状態ノードと呼
ぶ）ごとに、(i)最下位の状態ノードについては、当該
状態ノードが取り得る状態値、当該状態ノードに直接入
力される外部イベント、および遷移前後の状態値を入力
し状態遷移決定表として記憶し、(ii)下位に状態ノード
が存在する状態ノードについては、当該状態ノードが取
り得る状態値（下位状態ノードの取り得る状態値を合成
した合成状態値からなる）、当該状態ノードに直接入力
される外部イベントと下位状態ノードにおいて生じた状
態遷移で表わされる内部イベント、および遷移前後の状
態値を入力し状態遷移決定表として記憶しておき、各状
態ノードの現在の状態値を記憶するためのカレント状態
記憶領域と、発生した外部イベントおよび内部イベント
を記憶するためのイベント記憶領域とを確保しておき、
最下位の状態ノードの現在の状態値をカレント状態記憶
領域に初期設定するとともに、最下位以外の状態ノード
についても、下位状態ノードの現在の状態値を合成して
合成状態値を求めることにより、当該状態ノードの現在
の状態値をカレント状態記憶領域に初期設定し、上記イ
ベント記憶領域からイベントを読み出し、(i)読み出し
たイベントが外部イベントである場合には、該外部イベ
ントが入力した状態ノードの状態遷移決定表を参照し
て、現在の状態値に対して発生する遷移後の状態値を検
索し、現在の状態値を遷移後状態値に置き換え、該状態
ノードについての｛ノードＩＤ、遷移後の状態値｝の組
み合わせを内部イベントとして、上記イベント記憶領域
に格納し、(ii)読み出したイベントが内部イベントであ
る場合には、上記階層木構造をたどって、該内部イベン
トが通知されるべき上位状態ノードを検索し、該上位状
態ノードに対応する状態遷移決定表に記載されているイ
ベントの中から、読み出した内部イベントと一致するも
のを検索し、検索された状態ノードにおいて現在の状態
から当該内部イベントが入力されて生起する遷移後の状
態値を検出し、現在の状態値を該遷移後状態値に置き換
え、さらに該状態ノードにおいてそのような遷移が発生
したことを内部イベントとして上位状態ノードへ通知す
るために上記イベント記憶領域に格納するようにイベン
ト処理を行ない、上記外部イベントまたは内部イベント
による遷移によって引き起こされる付随プログラムがあ
れば、その付随プログラムを起動し、このような処理
を、上記イベント記憶領域に格納したすべての外部イベ
ントおよび内部イベントについて、さらに最終的に上記
階層木構造におけるすべての状態ノードについて、繰り
返すことにより、各状態ノードにおける状態遷移の制御
および該状態遷移に付随するプログラムの実行制御を行
なうことを特徴とする。

【００１７】また、内部イベントを上位の状態ノードに
送って状態遷移を発火させる代わりに、遷移発生フラグ
によって状態遷移が起こっていることを上位に伝えるよ
うにしてもよい。さらに、あらかじめ、最下位以外のす
べての状態ノードに対し、その状態ノードにおけるすべ
ての遷移前後の状態値の組み合わせを入力して記憶して
おき、この組み合わせを用いて状態遷移を実行するよう
にしてもよい。

【００１８】また、階層木構造の状態ノードをグループ
分けして、グループごとにイベント記憶領域を用意して
おき、グループ単位に処理を進めるようにしてもよい。

【００１９】

【作用】並行動作する複数のコンポーネントが互いにイ
ンタラクションを取りながら非決定的に状態遷移をして
いるようなシステムを対象とする場合でも、そのシステ
ムの階層木構造を入力し、該階層木構造の各ノードにお
ける状態決定表を定義してやれば、入力されたイベント
に基づく状態遷移およびそれに対応して遷移する階層木
構造の上位の状態遷移、並びにそれらの遷移に付随する
プログラムの実行を容易に制御することができる。

【００２０】

【実施例】以下、図面を用いて本発明の実施例を説明す
る。

【００２１】図１は、本発明の一実施例に係る階層化状
態遷移決定表に基づくプログラム実行方法の手順を示す
処理フローチャートである。図２は、本実施例を実現す
るための機能ブロック図である。

【００２２】図２を参照して、本実施例における処理の
概略を説明する。図２において、四角形２１５，２２
５，２３５は処理を表し、下辺が波形の図形２０５，２
１０，２２０，２３０はデータを表す。実線の矢印はデ
ータのやり取りを示し、破線の矢印は処理の起動の指示
を表す。

【００２３】２１０は実行対象システムの階層木構造を
示す。図３に実行対象システムの階層木構造の具体例を
示し、図４にその階層木構造２１０の格納形式を示す。
２２０は実行対象システムの個々のコンポーネント（実
行対象システムを構成する構成要素）の動作を表すデシ
ジョンテーブルを示す。図５および図６に、デシジョン
テーブル２２０の格納形式を示す。２０５は実行対象シ
ステムの個々のコンポーネントの現在の状態を表すカレ
ント状態値を示す。図８に、カレント状態値２０５の格
納形式を示す。２３０は発生したイベントをスタックす
るためのイベントスタックを示す。図９に、イベントス
タック２３０におけるイベントの格納形式を示す。

【００２４】遷移ドライバ２１５は、イベントハンドラ
２２５により入力されるイベントに応じて、図１のフロ
ー１００の手順で、階層木構造２１０とデシジョンテー
ブル２２０の情報から、遷移を起こし、カレント状態値
２０５を更新し、イベントスタック２３０にイベントを
積む。イベントが上位階層に伝搬する場合、遷移ドライ
バ２１５は、イベントハンドラ２２５からイベントを受
け取って、状態遷移の処理を繰り返す。付随動作プログ
ラム２３５は、遷移に付随して起動されるプログラムで
あり、遷移ドライバ２１５によって起動が指示される。

【００２５】具体例を挙げて、図１の処理手順の各ステ
ップを詳しく説明する。

【００２６】まず初めに、各テーブルやファイルの構成
について詳しく説明する。あるシステム状態遷移を、図
１の手順に従って実行する例について、使用するテーブ
ルの構成について詳しく説明する。

【００２７】図３は、本実施例で用いる具体例であり本
発明の適用対象システムであるキャッシュユニットの階
層木構造３００を示す。ドライバへのデータの読み書き
に利用するキャッシュは、信頼性を上げるために、デー
タを格納するハードウェアをキャッシュと共有メモリに
２重化し、それらを合わせて論理的なキャッシュ面とみ
なす。さらに信頼性を上げるために、論理的なキャッシ
ュもＡ面とＢ面とに２重化している。

【００２８】図３の階層木の要素の四角形を状態ノード
と呼ぶ。第１層（図中、一番下の層）の４個の状態ノー
ド｛キャッシュＡ，共有メモリＡ，キャッシュＢ，共有
メモリＢ｝は、このシステムを構成するハードウェアで
ある。キャッシュＡと共有メモリＡとで、論理的なキャ
ッシュＡ面が構成される。同様に、キャッシュＢと共有
メモリＢとで、論理的なキャッシュＢ面が構成される。
また、最上層のキャッシュユニットは、第２層の論理的
なキャッシュＡ面と論理的なキャッシュＢ面とから構成
される。一番下の第１層の階層＃（ナンバ）を「１」、
その上の第２層の階層＃を「２」、最上位の第３層の階
層＃を「３」とする。このように、階層＃は、最下位層
を「１」とし、上位に向かって順に数えていくものとす
る。

【００２９】図４は、図３に示す階層木構造３００の例
を格納するテーブル４００（図１の階層木構造２１０）
の形式である。階層木構造を構成する状態ノードの情報
を、それぞれテーブルの１行を用いて格納する形式であ
る。各状態ノードに対して、その状態ノードが属する階
層＃（４０５）、その状態ノードの名称（４１０）、上
位の状態ノードの名称（４１５）、下位１状態ノードの
名称（４２０）、および下位２状態ノードの名称（４２
５）を保持している。保持する名称は、ＩＤ（識別子）
でよい。

【００３０】例えば、階層＃（４０５）が「１」の状態
ノード（４１０）「キャッシュＡ」は、その上位の状態
ノードが「論理的なキャッシュＡ面」であるので、対応
するフィールド４１５には「論理的なキャッシュＡ面」
と記入されている。また、「キャッシュＡ」の下位に
は、状態ノードがないので「Ｎｕｌｌ」と記入されてい
る。階層＃（４０５）が「２」の状態ノード（４１０）
「論理的なキャッシュＡ面」は、その上位の状態ノード
が「キャッシュユニット」であるので、対応するフィー
ルド４１５には「キャッシュユニット」と記入されてい
る。また、「論理的なキャッシュＡ面」の下位には「キ
ャッシュＡ」と「共有メモリＡ」との２つの状態ノード
があるので、対応するフィールド４２０には「キャッシ
ュＡ」と記入され、対応するフィールド４２５には「共
有メモリＡ」と記入されている。

【００３１】本実施例においては、図３から分かるよう
に１個の状態ノードに対する子ノードは２個であるが、
３個以上の場合には、図４で点線で記述しているように
（４３０）、下位３状態ノード、下位４状態ノード、…
の情報を増やせばよい。また、下位の子ノードや上位の
親ノードを持たないときは、該当するフィールドには
「Ｎｕｌｌ」を記入するものとする。

【００３２】図５は、図３の階層木構造上の「キャッシ
ュＡ（３０５）」の状態遷移を示すデシジョンテーブル
５００（図２の２２０）である。図５のデシジョンテー
ブル５００には、キャッシュＡの取りうる状態値と、キ
ャッシュＡへの外部イベントおよび内部イベントと、イ
ベント発火の結果が記されている。

【００３３】なお、内部イベントとは、下位の状態ノー
ドの状態変化が上位に伝搬する際のイベントを言う。例
えば図３の階層木構造において、論理的なキャッシュＡ
面は、キャッシュＡと共有メモリＡとから構成されてい
るので、「キャッシュＡが所定の状態になった」という
ことを内部イベントとして受け取り、その内部イベント
に応じて状態遷移していく。外部イベントは、内部イベ
ント以外のイベント、すなわち状態ノードに直接入力し
てくるイベントを言う。階層木構造上で最下層の状態ノ
ードにおいては、下位に状態ノードがないので、下位か
らの内部イベントはない。外部イベントについては、最
下層の状態ノードに入力するものだけでなく、途中の階
層の状態ノードに直接入力する外部イベントもある。た
だし、本実施例では、最下層の状態ノードに直接入力す
る外部イベントのみを取り上げている。

【００３４】図５のデシジョンテーブル５００の記述方
法は、マトリクスの横軸５０５に取りうる状態：「正常
（５１０）」と「閉塞（５１５）」とを並べ、マトリク
スの縦軸５２０に外部イベント：「キャッシュＡ障害発
生（５２５）」と「キャッシュＡ復旧（５３０）」を並
べて記入してある。キャッシュＡは、最下位層に属し、
下位からの内部イベントはないので、内部イベントに該
当する欄（５４０）は空欄になっている。

【００３５】この状態ノード「キャッシュＡ（３０
５）」の遷移仕様は、 キャッシュＡが「正常」状態にあるとき、「キャッシ
ュＡ障害発生」というイベントが発生すると、これによ
りキャッシュＡの状態は「閉塞」になる。 キャッシュＡが「閉塞」状態にあるとき、「キャッシ
ュＡ復旧」というイベントが発生すると、これによりキ
ャッシュＡの状態は「正常」になる。ということであ
る。

【００３６】図６は、図３の階層木構造上の「論理的な
キャッシュＡ面（３１０）」の状態遷移を示すデシジョ
ンテーブル６００（図２の２２０）である。図６のデシ
ジョンテーブル６００の記述方法は、上述した図５のキ
ャッシュＡのデシジョンテーブル５００と同様である。

【００３７】すなわち、マトリクスの横軸６２０に、論
理的なキャッシュＡ面の取りうる状態値：「正常」、
「縮退」、「閉塞」を並べている。マトリクスの縦軸６
０５にはイベントを並べている。外部イベント（６１
０）の欄が空欄なのは、この例では、該当する外部イベ
ントがないからである。内部イベント（６１５）は、状
態ノード（６２５）と状態値（６３０）とを合わせたも
のである。下方の階層で起こった状態遷移の結果である
遷移後の状態値が、内部イベントになる。このことを示
すのが、デシジョンテーブル６００の縦軸である。

【００３８】図６のデシジョンテーブル６００の遷移仕
様は、論理的なキャッシュＡ面が「正常（６３５）」の
状態であるとき、下位のキャッシュＡ（６４０）が「閉
塞（６４５）」になるという内部イベントが発生する
と、論理的なキャッシュＡ面は「閉塞（６５０）」に遷
移する、という例のように記述してある。

【００３９】状態の遷移を契機として実行すべき付随動
作プログラム（図１の２３５）があるときは、スラッシ
ュ「／」とともに記載してある。例えば、「閉塞報告」
６５５は付随動作プログラムを示している。すなわち、
論理的なキャッシュＡ面が「正常（６３５）」の状態で
あるとき、下位の共有メモリＡ（６１５）が「閉塞」に
なるという内部イベントが発生すると、論理的なキャッ
シュＡ面の状態は「縮退」に遷移するとともに、付随動
作プログラムとして閉塞報告（６５５）を実行する、と
いう意味である。

【００４０】図７は、図３の階層木構造の第２層以上の
状態ノードに関する状態値の上下関係の対応格納テーブ
ル７００の例である。このテーブル７００は、上位の状
態ノードの状態が下位の構成要素のどのような状態の組
み合わせから構成されるかを示したものである。

【００４１】例えば、行７０５は、『論理的なキャッシ
ュＡ面の「正常」を構成するのは、キャッシュＡの「正
常」と共有メモリＡの「正常」の組み合わせである』と
いうことを示している。逆にいえば、キャッシュＡが
「正常」で、かつ共有メモリＡが「正常」であるとき、
論理的なキャッシュＡ面は「正常」である。このよう
に、ある状態ノードの状態が下位の状態ノードのどのよ
うな状態の組み合わせから構成されるかをすべて明らか
にしたのが、テーブル７００である。なお、このテーブ
ル７００における、「下位１の状態ノード」および「下
位２の状態ノード」は、図４のそれらと対応している。

【００４２】以上説明した図４〜図７のテーブルは、初
期設定のときに設定される。設定内容はユーザがあらか
じめ決定しておく。すなわち、ユーザは、対象となるシ
ステムに関する階層木構造を図３のように決めておき、
図４の形式で本システムに入力する。同様に、ユーザ
は、決定した階層木構造の各ノードに関して、当該ノー
ドの動作を示すデシジョンテーブルを図５や図６のよう
に決定して入力する。さらに、階層木構造における上位
の状態ノードの状態値と下位の状態ノードの状態値の組
み合わせを図７のように決定して入力する。なお、他の
形式で入力しておき、初期設定のときに図４〜図７の形
式に変換してもよい。

【００４３】図８は、図３の階層木構造３００の各状態
ノードの現在の状態を格納するためのカレント状態格納
テーブル８００（図２の２０５）の形式を示す。特に図
８は、階層木構造３００のすべての状態ノードのカレン
ト状態が「正常」であるときのカレント状態格納テーブ
ル８００を示している。カレント状態格納テーブル８０
０は、本システムが動作開始する際に初期設定され、種
々のイベントの発生により各状態ノードの状態が変化し
ていく際にそれら各状態ノードの現在の状態を格納する
ワーク用のテーブルである。

【００４４】図９は、発生したイベントをスタックする
ためのイベントスタック９００（図１の２３０）の形式
を示す。イベントスタック９００は、「状態ノード」の
欄と「遷移後の状態値」の欄とからなる。

【００４５】内部イベントは、ある状態ノードが状態遷
移してある状態になったということを上位の状態ノード
に伝搬させていくためのイベントであるから、内部イベ
ントは「状態ノード」とその状態ノードの「遷移後の状
態値」とからなる。そこで、内部イベントをイベントス
タック９００にスタックするときは、内部イベントの
「状態ノード」および「遷移後の状態値」を、イベント
スタック９００の「状態ノード」および「遷移後の状態
値」の欄に、それぞれ格納する。外部イベントをイベン
トスタック９００にスタックするときは、イベント名を
「遷移後の状態値」の欄に格納する。

【００４６】イベントスタック９００は、図９の形式の
ものを２個用意してある。そして、一方のイベントスタ
ックに処理を行う状態ノードに対する外部イベントおよ
び内部イベントが格納されているときは、その外部イベ
ントおよび内部イベントを順に入力し、使ったイベント
は消去する。入力されたイベントの発火によって起こる
遷移の遷移後状態値を新たな内部イベントとして他方の
（空いている方の）イベントスタックに貯めていく。こ
の処理を、２個のイベントスタックを交互に使って行
う。

【００４７】次に、図１のフローにしたがって、本実施
例のシステムの各ステップの動作を詳細に説明する。

【００４８】まず、ステップ１１０で、初期設定をす
る。具体的には、動作させる対象であるシステムの階層
木構造を、図３のように決定し、図４のテーブル４００
の形式で格納する。また、その階層木構造の各状態ノー
ドにおける状態遷移仕様を、図５および図６で例示した
デシジョンテーブルの形式で格納する。さらに、図４の
形式で格納した階層木構造の第２層以上の状態ノードに
関する状態値の上下関係の対応格納テーブルを、図７の
形式で格納する。

【００４９】次に、ステップ１２０で、各状態ノードの
カレント状態を初期設定する。この処理については、以
下に、図１０のフローを用いて、詳細に説明する。

【００５０】まず、ステップ１０１０で、最下位層の状
態ノードの初期状態を設定する。本実施例では、図３の
階層木構造の最下位層の４個の状態ノードそれぞれに
「正常」という状態を初期設定する。これは、図８のカ
レント状態格納テーブル８００のうち、８０５、８１
０、８１５、８２０の４個の欄に「正常」が設定された
ことを意味する。

【００５１】次にステップ１０１５で、処理する階層を
数えるための変数ｎを１とする。そして、ステップ１０
２０で、第（ｎ＋１）層が存在するかどうか判断する。
この判断は、上位階層が存在する間、以下のステップ１
０２５〜１０４０の処理を繰り返すために、上位の第
（ｎ＋１）層が存在するかどうかを判断するためのもの
である。もしも、上位の階層がない場合には処理を終了
し、フロー１００に戻る。本具体例では第２層が存在す
るので、次のステップ１０２５に進む。

【００５２】ステップ１０２５で、第ｎ層の合成状態値
を生成し、図１１の形式でワークエリアに格納する。図
１１のテーブル１１００は、第１層の状態ノードのカレ
ント状態値から得られる合成状態値（第１層の状態ノー
ドのカレント状態値の組み合わせ）が第２層のどの状態
ノードに対応するか、を格納した合成状態値格納テーブ
ルの例である。

【００５３】いま、第１層の状態ノードのカレント状態
値として、キャッシュＡが「正常」で共有メモリＡが
「正常」と初期設定されている。図３の階層構造を表す
図４のテーブル４００から、キャッシュＡと共有メモリ
Ａによって、論理的なキャッシュＡ面が構成されている
ことがわかる。そこで、ステップ１０２５では、合成状
態値：｛キャッシュＡ／正常、共有メモリＡ／正常｝と
第２層の論理的なキャッシュＡとを対応させて、図１１
の行１１０５のように格納する。同様に、合成状態値：
｛キャッシュＢ／正常、共有メモリＢ／正常｝と第２層
の論理的なキャッシュＢとを対応させて、図１１の行１
１１０のように格納する。

【００５４】次にステップ１０３０で、ステップ１０２
５で生成した第ｎ層の合成状態値が第（ｎ＋１）層のど
の状態値に対応するかを、図７のテーブル７００から検
索する。

【００５５】まず、この具体例では、図１１の合成状態
値格納テーブル１１００の行１１０５の｛キャッシュＡ
／正常、共有メモリＡ／正常｝の組み合わせを、図７の
上下の状態値の対応格納テーブル７００から検索する。
ここでは、図７の「論理的なキャッシュＡ面／正常」７
０５が検索される。同様に、図１１の行１１１０につい
ては、図７の「論理的なキャッシュＢ面／正常」７１５
が検索される。

【００５６】次に、ステップ１０３５で、第（ｎ＋１）
層のカレント状態値をカレント状態格納テーブル８００
に設定する。この具体例では、ステップ１０３０で検索
された、第２層についての、図７の「論理的なキャッシ
ュＡ面／正常」７０５および「論理的なキャッシュＢ面
／正常」７１５を、図８のカレント状態格納テーブル８
００の欄８２５と８３０に格納する。

【００５７】次に、ステップ１０４０で、ｎ＝ｎ＋１と
して、ステップ１０２０に戻る。例では、ｎ＝２とし
て、ステップ１０２０に戻る。ｎ＝２のときのステップ
１０２５〜１０４０の処理の説明は省略するが、要する
に、合成状態値｛論理的なキャッシュＡ面／正常、論理
的なキャッシュＢ面／正常｝に対応する第３層の状態ノ
ード「キャッシュユニット」を検索し、その状態ノード
「キャッシュユニット」に「正常」を格納する。第３層
の上位に第４層はないので、図１のフロー１００の処理
に戻る。

【００５８】次に、フロー１００に戻って、ステップ１
３０で、最下位層の状態ノードに外部イベントを入力す
る。外部イベントは、すべての状態ノードに入力される
ものであるが、本実施例では、最下位層のキャッシュＡ
に外部イベント「キャッシュＡ障害発生」が入力された
場合を説明する。この外部イベントは、２つあるイベン
トスタックのうちの一方に図９のように格納される。

【００５９】次に、ステップ１３５で、２つあるイベン
トスタックのうちの何れかに未処理のイベントが残って
いるか否か判定する。この具体例では、一方のイベント
スタックに図９のように「キャッシュＡ障害発生」がス
タックされているので、ステップ１４０に進む。

【００６０】ステップ１４０では、イベントスタックか
らイベントを取り出し、各状態ノードに対して状態遷移
を実行する。状態遷移とともに実行すべき付随動作プロ
グラムがある場合は、その付随動作プログラムを起動す
る。このステップ１４０の処理については、図１２のフ
ローに基づいて、以下に詳細に説明する。

【００６１】まず、ステップ１２０５で、２個のイベン
トスタックのどちらかに、少なくとも１個のイベントが
あるかどうかを判断する。もしも両方のイベントスタッ
クが空だったならば、フロー１４０の処理を終了する。
本具体例では、図９のように、イベントスタックにイベ
ントが入っているので、ステップ１２１０に進む。

【００６２】次に、ステップ１２１０で、処理するイベ
ントスタックを決める。どちらか一方にしか、イベント
が入っていない場合には、そのイベントスタックに決定
する。両方にイベントが入っている場合には、一方のイ
ベントスタックに決めて、その中のイベントが無くなる
まで同じイベントスタックに対して処理を行うようにす
る。

【００６３】次に、ステップ１２１５で、イベントスタ
ックからイベントを１個取り出す。取り出したイベント
はイベントスタックから消去される。この具体例では、
図９のイベントスタックから外部イベント「キャッシュ
Ａ障害発生」９１０を取り出す。もしスタックされてい
るイベントが内部イベントである場合には、｛状態ノー
ド、状態値｝の組み合わせを取り出す。

【００６４】次に、ステップ１２２０で、取り出したイ
ベントの影響する状態ノードを検索する。取り出したイ
ベントが内部イベントである場合には、取り出した内部
イベントに含まれている状態ノードの階層木構造上の上
位に位置する状態ノードが、検索すべき状態ノードであ
る。取り出したイベントが外部イベントである場合に
は、すべてのデシジョンテーブルを検索して、当該外部
イベントと等しいイベントが存在する状態ノードを検索
する。本具体例では、外部イベント「キャッシュＡ障害
発生」９１０が状態ノード「キャッシュＡ」のデシジョ
ンテーブル５００（図５）のイベントの欄５２０に存在
するから、結果として「キャッシュＡ」が検索される。

【００６５】次に、ステップ１２２５で、先にステップ
１２２０で検索した状態ノードに関するデシジョンテー
ブルにおいて、イベントスタックから取り出したイベン
トを含む遷移を検索する。本具体例では、図５のデシジ
ョンテーブル５００において「キャッシュＡ障害発生」
をイベントにもつ遷移は、「正常→閉塞」の１個であ
る。

【００６６】次に、ステップ１２３０で、先にステップ
１２２５で検索した遷移の中で、遷移前の状態値が、遷
移の属する状態ノードのカレント状態値と等しい遷移を
検索する。本具体例では、ステップ１２２５で検索した
１個の遷移の遷移前状態値「正常」は、図８に示すカレ
ント状態値格納テーブル８００から、キャッシュＡのカ
レント状態値であるから、「正常→閉塞」が検索すべき
遷移である。

【００６７】次に、ステップ１２３５で、先にステップ
１２３０で検索した遷移の属する状態ノードと遷移後の
状態値との組み合わせを、先にステップ１２１５でイベ
ントを取り出したイベントスタックとは別のイベントス
タックに内部イベントとして格納する。本具体例で格納
するのは、｛キャッシュＡ、閉塞｝の組み合わせからな
る内部イベントである。

【００６８】次に、ステップ１２４０で、ステップ１２
３０で検索した遷移に付随動作プログラムがついている
かどうか判断する。ついていない場合には、ステップ１
２５０に進む。本具体例では、付随動作プログラムがつ
いていないのでステップ１２５０に進む。付随動作プロ
グラムがついている場合には、ステップ１２４５に進
み、付随動作プログラムの起動をかけた後、ステップ１
２５０に進む。

【００６９】ステップ１２５０では、この状態ノードの
カレント状態値を、ステップ１２３０で検索した遷移後
の状態値に変更する。本具体例では、図８のカレント状
態格納テーブル８００中のキャッシュＡのカレント状態
値８０５を「正常」から「閉塞」に変更する。

【００７０】ステップ１２５０の後、ステップ１２０５
に戻って、どちらかのイベントスタックにまだイベント
があるならステップ１２１０以降の処理を繰り返す。本
具体例では、外部イベント「キャッシュＡ障害発生」が
入っていたイベントスタックは空になったが、先にステ
ップ１２３５で格納した内部イベントが他方のイベント
スタックに入っているので、この内部イベントについて
もう一度処理を繰り返す。繰返しの処理の説明は省略す
る。

【００７１】図１２のフロー１４０の処理が終了した
ら、図１に戻ってステップ１４０からステップ１３５に
戻る。図１２のフロー１４０の処理を行なっている最中
に入力された外部イベントがあれば、それらはイベント
スタックにスタックされるので、それらのイベントに対
してステップ１４０（図１２のフロー１４０）の処理を
繰り返し、未処理の外部イベントがなくなるまでこの処
理を繰り返す。

【００７２】上記説明では、具体例としてキャッシュユ
ニットを取り上げて説明したが、対象システムの構成要
素のすべてに対し同様に取り扱うことができる。これに
より、対象システムのコンポーネント（構成要素）の階
層木構造をそのまま図４の形式で入力し、各状態ノード
のデシジョンテーブル（状態遷移決定表）を図５，６の
ように入力し、さらに状態間の関係を図７のように入力
するだけで、入力したデシジョンテーブルに基づく所望
の動作を行なうようにすることができる。入力する階層
木構造は、対象システムの構造に合せているので、設定
は容易である。また、フラットで大きな１枚のデシジョ
ンテーブルを用いるより、階層化された状態ノードごと
にデシジョンテーブルを定義するので、使用するメモリ
容量を減らすことができる。さらに、複数のテーブルを
適当につないだテーブルドリブン方式に比べ、階層構造
で上下の関係を決定しているので、実行のスピードが速
い。また、イベントの伝搬が決まっているので、デバッ
クがしやすく、トラブルシーケンスも容易である。

【００７３】また、従来技術の欄で説明した特開平３−
２９４９２４号あるいは「ＺＩＰＣによる事例」で提案
された技術では、状態遷移決定表をトップダウンで階層
化するが、これは状態遷移決定表の１つのコンテント
（状態遷移の内容）を下位の状態遷移決定表で表すよう
にする階層化である。これに対し、上記実施例の階層化
は、１個１個の状態の階層化ではなく、上位層の状態遷
移表上の動作内容（状態遷移の内容）が、関係付けられ
た下位層の複数の状態遷移表上の動作内容のすべてと、
まとまりとして階層関係を持っている、ということであ
る。すなわち、階層化は状態ノードに対するものであ
り、状態遷移に対するものではない。したがって、上記
実施例では、階層木構造は対象システムの構造に沿った
図３のようなものであり、図４の形式で入力され、また
個々のデシジョンテーブルには階層の情報はない。

【００７４】さらに、特開平３−２９４９２４号あるい
は「ＺＩＰ Ｃによる事例」では、シーケンシャルな１
本道で表現できる状態遷移の内容を、階層化して１枚が
複雑になりすぎないように記述している。１本道とは、
状態遷移表を実行する際に、カレント状態（現時点での
状態）が１個しかない、という意味である。これに対し
て、上記実施例では、すべての状態遷移表ごとにカレン
ト状態が存在し、その何れに対して外部あるいは内部か
らイベントが発火した場合でも、状態遷移が発生し、そ
れが影響を及ぼすイベントを伝搬させる。すなわち、並
行動作する複数のコンポーネントの動作を、容易に表現
することができる。

【００７５】次に、本発明の第２の実施例を説明する。
この第２の実施例は、主に図１のフロー１００のステッ
プ１４０の処理方法を変形した例である。なお、第２の
実施例を説明するにあたっては、上述の第１の実施例で
用いたのと同じ具体例で説明していくものとする。

【００７６】まず初めに、第２の実施例で用いるテーブ
ルの形式について説明する。ただし、上述の第１の実施
例で用いたテーブル形式と同じものについては、説明を
省略する。特に、図４の対象システムの階層木構造を格
納するテーブル４００、図５および図６の各状態ノード
のデシジョンテーブル５００，６００、図７の状態値の
上下関係の対応格納テーブル７００、並びに図８のカレ
ント状態格納テーブル８００は、第１の実施例と同じ形
式のものを用いるものとする。なお、本実施例では内部
イベントにより生起する遷移は（後述する図１３のテー
ブルを用いて行なうので）デシジョンテーブル中に内部
イベントにより生起する遷移を登録しておく必要はな
く、外部イベントにより生起する遷移のみを含むデシジ
ョンテーブルとしておけばよい。また、第１の実施例で
は、イベントスタックとして図９の形式のものを用いた
が、第２の実施例では、下記で説明する図１４の形式の
イベントスタックを用いる。

【００７７】図１３は、第２の実施例で用いるテーブル
であり、各状態ノード（第２層以上）におけるすべての
遷移前後の状態値の組み合わせ格納テーブル１３００の
例である。図１３は、論理的なキャッシュＡ面について
の、遷移前後の状態値の組み合わせ格納テーブルの例で
ある。論理的なキャッシュＡ面については、図６のデシ
ジョンテーブル６００により遷移仕様が決定されている
が、そのデシジョンテーブル６００においてすべての遷
移前後の状態値の組み合わせ（内部イベントにより生起
する遷移も含む）を取り出して図１３のように格納して
ある。他の状態ノードについても、図３の階層木構造の
第２層以上の階層の状態ノードについて、状態ノードご
とに、すべての遷移前後の状態値の組み合わせをこの形
式で格納する。なお、内部イベントによる遷移も含む形
で図６のデシジョンテーブルを作成し、そのデシジョン
テーブルのすべての遷移前後の状態値の組み合わせを取
り出して図１３のテーブルを作成するのが分かり易く便
宜であるが、後述する本実施例の動作では、外部イベン
トが入力したときのみデシジョンテーブルを参照し、内
部イベントによる遷移はデシジョンテーブルを用いず図
１３のテーブルを用いて実行する。そこで、図６のデシ
ジョンテーブルは外部イベントによって生起する遷移の
みを登録しておき、図１３のテーブルは別に入力してき
おくするようにしてもよい。

【００７８】図１４は、第２の実施例で用いるテーブル
であり、外部イベントを格納する外部イベントスタック
１４００を示す例である。図１４の外部イベントスタッ
クでは、外部イベントが１個格納されている。

【００７９】図１５は、第２の実施例で用いるテーブル
であり、遷移発生フラグ格納テーブル１５００である。
これは、各階層の各状態ノードについて、当該状態ノー
ドに遷移が発生したか否かを示すフラグを保持するテー
ブルである。遷移が発生した状態ノードにフラグ「１」
を立てる。フラグが「０」のとき、その状態ノードに遷
移は発生していないことを示す。図１５の例では、フラ
グ１５０５が「１」であるので、キャッシュＡに遷移が
発生したことがわかる。

【００８０】次に、本実施例の処理手順について説明す
る。図１のフロー１００のステップ１１０の初期設定に
おいては、まず第１の実施例と同様に、対象システムの
階層木構造を格納するテーブル４００（図４）、各状態
ノードのデシジョンテーブル５００，６００（図５、図
６）、および状態値の上下関係の対応格納テーブル７０
０（図７）を初期設定する。さらに、本第２の実施例で
は、図１３に例示したように、各状態ノード（第２層以
上）ごとに、すべての状態遷移の遷移前後の状態値の組
み合わせをも入力する。また、図１５の遷移発生フラグ
格納テーブル１５００のフラグはすべて「０」に初期化
しておく。

【００８１】次のステップ１２０，１３０に関しては、
上述の第１の実施例と同じなので、説明は省略する。た
だし、ステップ１３０では、入力した外部イベントを図
１４の外部イベントスタック１４００に格納するものと
する。いま、図１４のように外部イベント「キャッシュ
Ａ障害発生」がスタックされたとする。

【００８２】次に、図１のフロー１００のステップ１４
０について、図１６のフロー１４０をステップごとに説
明する。

【００８３】まず、ステップ１６１０で、図１４に示し
た外部イベントスタック１４００から、外部イベントを
１個取り出す。この具体例では、「キャッシュＡ障害発
生」を取り出す。取り出した外部イベントは、外部イベ
ントスタック１４００から消去される。

【００８４】次に、ステップ１６１５で、先に取り出し
た外部イベントが影響をおよぼす状態ノードを検索す
る。この検索は、すべてのデシジョンテーブルをたどっ
て、取り出した外部イベントと等しい外部イベントをも
つ状態ノードを見つけることにより行なう。そして、検
索した状態ノードの遷移発生フラグ（図１５）を立て
る。本具体例では、状態ノード「キャッシュＡ」のデシ
ジョンテーブル５００（図５）中に外部イベント「キャ
ッシュＡ障害発生」があるので、検索の結果「キャッシ
ュＡ」の遷移発生フラグ（図１５参照）を立てる。

【００８５】次に、ステップ１６２０で、イベントの影
響する状態ノードの、階層木構造上の階層数をｎとす
る。この具体例では、イベントの影響する状態ノード
「キャッシュＡ」は最下位層なので、ｎ＝１となる。

【００８６】次にステップ１６２５で、遷移発生フラグ
の立った状態ノードについて、先にステップ１６１０で
取り出した外部イベントによって起こる状態遷移の遷移
後の状態値を検索し、ワークエリアに格納する。具体的
には、ステップ１６１５で検索したデシジョンテーブル
を用いて、当該状態ノードのカレント状態値がステップ
１６１０で取り出した外部イベントによってどのように
状態遷移するかを検索し、遷移後の状態値を得る。本具
体例では、外部イベント「キャッシュＡ障害発生」によ
ってキャッシュＡが「正常」から「閉塞」に状態遷移す
るから、遷移後の状態「閉塞」がワークエリアに格納さ
れる。

【００８７】次に、ステップ１６３０で、前記ワークエ
リアに格納された遷移後の状態値に基づいて、最下位レ
イヤの状態遷移の起こった状態ノードのカレント状態を
更新する。本具体例では、「キャッシュＡ／閉塞」に更
新する。なお、本実施例では最下層の状態ノードに直接
入力する外部イベントのみを取り上げているので、本ス
テップ１６３０では最下層の状態ノードのカレント状態
を更新することになるが、最下層でなく途中の階層の状
態ノードに直接入力する外部イベントの場合は、当該状
態ノード（第ｎ層）のカレント状態を更新することにな
る。

【００８８】次に、ステップ１６３５で、未処理の状態
ノードが存在するか、具体的に言うと第ｎ＋１層が存在
するか否か判断する。これは、最上位層に達するまで処
理を繰り返すための判断である。もしも、上位層が存在
しなければ処理を終了する。しかし、本実施例において
は、第２層および第３層が存在するので、ステップ１６
４０に進む。

【００８９】次に、ステップ１６４０で、ｎを１増や
す。本具体例では、この時点で、ｎ＝２となる。このこ
とは、第２層に処理を施すことを示している。

【００９０】次に、ステップ１６４５で、１つ下位（第
ｎ−１層）に位置する状態ノードの遷移発生フラグが少
なくとも１個立っているかどうか、図１５の遷移発生フ
ラグ格納テーブル１５００を参照して判断する。もし
も、フラグが立っていなければ、ステップ１６６５に進
み、エラーを返して本フローを終了する。本具体例で
は、先のステップ１６１５で遷移発生フラグ格納テーブ
ル１５００（図１５参照）のキャッシュＡのフラグ１５
０５を立てているので、次のステップ１６５０に進む。

【００９１】ステップ１６５０では、第（ｎ−１）層の
すべての状態ノードのカレント状態を集めて、図３の階
層木構造に従って、第ｎ層に関する合成状態値を生成
し、ワークエリアに図１７の形式で格納する。本具体例
では、いまｎ＝２であり、最下位層の各状態ノードのカ
レント状態は、キャッシュＡが「閉塞」でそれ以外のノ
ードが「正常」である。そこで、これら最下位層の各状
態ノードのカレント状態から、第２層に関する合成状態
値を生成する。この合成状態値の生成方法は、図１のス
テップ１２０で、最下位のカレント状態値を組み合わせ
て、第２層の状態値を生成した方法（図１０）と同じで
ある。本具体例では、図３の階層木構造から、キャッシ
ュＡと共有メモリＡによって論理的なキャッシュＡ面が
構成されていることがわかるので、キャッシュＡのカレ
ント状態「閉塞」と共有メモリＡのカレント状態「正
常」とを組み合わせて、論理的なキャッシュＡ面に対応
する合成状態値ができる。残りの状態ノードに対しても
同じ処理を繰返す。その結果出来上がった第２層に関す
る合成状態値格納テーブルが、図１７に示すテーブル１
７００である。

【００９２】次に、ステップ１６５５で、第ｎ層に関し
て、「遷移前状態値＝カレント状態、かつ、遷移後の状
態値＝格納した合成状態値のどれか」に当てはまる組み
合わせの状態遷移を検出する。

【００９３】図１８に、このステップ１６５５の処理を
詳細化したフローを示す。図１８を用いて、ステップ１
６５５の処理を詳細に説明する。

【００９４】まず初めに、ステップ１８０５で、第ｎ層
の状態ノードのすべてに関して処理を施したかどうかを
判断する。第ｎ層のすべての状態ノードの処理が終われ
ばこのフローの処理は終了する。いまｎ＝２であり、第
２層の何れの状態ノードも処理していないので、ステッ
プ１８１０に進む。

【００９５】次に、ステップ１８１０で、検索処理を施
す状態ノードを決める。ここでは、論理的なキャッシュ
Ａ面に対し処理を施すものとする。

【００９６】次に、ステップ１８１５で、図１７の合成
状態値格納テーブル１７００の上位の状態ノードが、ス
テップ１８１０で決めた処理対象の状態ノードであるよ
うな、テーブル１７００の行を検索する。いま合成状態
値格納テーブル１７００には図１７に示すように第２層
の状態ノードの合成状態値が格納されており、ステップ
１８１０で処理対象とした状態ノードは論理的なキャッ
シュＡ面であるので、図１７の１行目の合成状態値１７
０５が検索される。

【００９７】次に、ステップ１８２０で、上記ステップ
１８１５の検索で合成状態値が見つかったか否かを判別
する。見つからなかった場合には、ステップ１８０５に
戻って処理を繰り返す。いま説明している具体例では、
図１７の１行目の合成状態値１７０５が検索されたの
で、ステップ１８２５に進む。

【００９８】次に、ステップ１８２５で、図７の状態値
の上下関係の対応格納テーブル７００を参照し、テーブ
ル７００の下位１および下位２の状態値が、ステップ１
８１５で検索した合成状態値の下位１および下位２と等
しい行を検索する。この具体例では、ステップ１８１５
で図１７の合成状態値１７０５が検索されており、合成
状態値１７０５の下位１の状態ノードのカレント状態値
は「閉塞」で下位２の状態ノードのカレント状態値は
「正常」である。また、図７のテーブル７００では、行
７１０が下位１が「閉塞」で下位２が「正常」であるか
ら、この行７１０が検索される。

【００９９】次に、ステップ１８３０で、上記ステップ
１８２５の検索でテーブル７００中に該当する行が見つ
かったか否かを判別する。見つからなかった場合には、
ステップ１８５０でエラーを返して、フロー１６５５の
処理を終了する。この具体例では、図７の行７１０が検
出されたので、ステップ１８３５に進む。

【０１００】次に、ステップ１８３５で、ステップ１８
２５で検索した行（図７の状態値の上下関係の対応格納
テーブル７００から検索された行）の上位の状態値を遷
移後状態値として持つ遷移を、検索対象の状態ノードに
関する遷移前後の状態値の組み合わせ格納テーブル（図
１３）からすべて検索する。いま、ステップ１８２５で
図７の行７１０が検索されており、行７１０の上位の状
態値は「縮退」である。検索対象の状態ノードは論理的
なキャッシュＡ面であり、図１３が論理的なＡ面に関す
る遷移前後の状態値の組み合わせ格納テーブル１３００
である。テーブル１３００中で遷移後状態値が「縮退」
であるのは、１行目の組み合わせデータ１３０５と、４
行目の組み合わせデータ１３１０であるので、これらの
組み合わせが検索される。

【０１０１】次に、ステップ１８４０で、上記ステップ
１８３５の検索でテーブル１３００中に該当する組み合
わせが見つかったか否かを判別する。見つからなかった
場合には、ステップ１８３０と同様に、ステップ１８５
０でエラーを返して、フロー１６５５の処理を終了す
る。この具体例では、テーブル１３００の１行目１３０
５と４行目１３１０が検出されたので、ステップ１８４
５に進む。

【０１０２】次に、ステップ１８４５で、ステップ１８
３５で検索した組み合わせの中で、遷移前の状態値が、
検索対象の状態ノードのカレント状態値に等しい遷移を
検出する。この具体例では、検索対象の状態ノードは論
理的なキャッシュＡ面であり、そのカレント状態値は
「正常」である。ステップ１８３５で検出したテーブル
１３００の１行目の組み合わせデータ１３０５と４行目
の組み合わせデータ１３１０のうち、遷移前の状態値が
「正常」であるのは、１行目の組み合わせデータ１３０
５のほうであるから、このデータ１３０５が該当する遷
移前後の組み合せとなる。

【０１０３】ステップ１８４５が終わったら、ステップ
１８０５に戻り、すべての状態ノードに対する処理が終
了するまで繰り返す。この具体例では、現在処理を行な
っている第２層の状態ノードで他に状態遷移発生フラグ
が立っているものはないので、繰り返さずに終了とな
る。必要に応じた繰返しが終われば、本フローを終了
し、図１６のステップ１６５５に戻り、ステップ１６６
０に進む。

【０１０４】ステップ１６６０では、上記図１８のステ
ップ１８４５の検索で該当するものが検出されたか否か
判別する。１個も検出されなかった場合には、ステップ
１６６５でエラーを返して終了する。この具体例では、
図１３の遷移前後の状態値の組み合わせ１３０５が検出
されたので、ステップ１６７０に進む。

【０１０５】次に、ステップ１６７０で、ステップ１６
５５で検出した遷移前後の状態値の組み合わせが属する
状態ノードの遷移発生フラグを立て、その遷移後の状態
値を該当する状態ノードのカレント状態値とする。この
具体例では、遷移前後の状態値の組み合わせ１３０５が
属する論理的なキャッシュＡ面の遷移発生フラグ（図１
５）を立て、検索した組み合わせ１３０５の遷移後状態
値「縮退」を、論理的なキャッシュＡ面のカレント状態
値として格納する。

【０１０６】ステップ１６７０の後、ステップ１６３５
に戻って上位の状態ノードが存在するか否か判別し、存
在する場合は、その上位の状態ノードについて同様な処
理を行なう。この具体例では、いま第２層の処理を終え
たところであり、まだ上位に第３層があるので、同じ処
理を繰り返す。最終的に、第３層のキャッシュユニット
の状態遷移を実行し、フロー１４０の処理を終了し、図
１のフロー１００のステップ１４０に戻る。そして、フ
ロー１００を終了する。

【０１０７】上記第２の実施例によれば、各状態ノード
について遷移前後の状態の組み合わせを備え遷移発生フ
ラグによって上位に状態遷移の発生を伝えるようにして
いるので、下位からの内部イベントを知る必要が無い。

【０１０８】ところで、上述の第１の実施例では、イベ
ントスタックは２個であった。以下では、第３の実施例
として、図４の階層木構造上の状態ノードをグルーピン
グして、そのグループごとにイベントスタックを持たせ
る方法について説明する。なお、第３の実施例におい
て、第１の実施例と同じ部分は説明を省略する。

【０１０９】第３の実施例において、図４の対象システ
ムの階層木構造を格納するテーブル４００、図５および
図６の各状態ノードのデシジョンテーブル５００，６０
０、図７の状態値の上下関係の対応格納テーブル７０
０、並びに図８のカレント状態格納テーブル８００は、
第１の実施例と同じ形式のものを用いるものとする。第
１の実施例では、イベントスタックとして図９の形式の
ものを用いたが、第３の実施例では、下記で説明する図
２０の形式のイベントスタックを用いる。

【０１１０】本実施例の処理手順について説明する。図
１のフロー１００のステップ１１０の初期設定において
は、まず第１の実施例と同様に、対象システムの階層木
構造を格納するテーブル４００（図４）、各状態ノード
のデシジョンテーブル５００，６００（図５、図６）、
および状態値の上下関係の対応格納テーブル７００（図
７）を初期設定する。特に本実施例では、ステップ１１
０の初期設定で、図１９に示すイメージ図のように階層
構造をグループ化して入力する。この例では、図４のテ
ーブル４００の形式で格納した階層構造において、階層
＃４０５にしたがって状態ノードをグループ化する。例
えば、図１９のグループ１９１０は階層＃が「１」の状
態ノードから構成される。

【０１１１】ここでは階層ごとにグループを分けたが、
分け方に特に制限はない。ただし、イベントが伝わるま
とまりでグループを分けるのが望ましいので、階層ごと
にグループを分けるのが好適である。階層ごとにグルー
プを分ける場合は、図４のテーブル４００において階層
＃をグループ＃（グループを特定する識別子）に兼用で
きるが、任意のグループ化をした場合には、どの状態ノ
ードがどのグループに属するかを認識できるようにグル
ープ＃を記憶するようにする。

【０１１２】次のステップ１２０，１３０に関しては、
上述の第１の実施例と同じなので、説明は省略する。た
だし、ステップ１３０では、入力したイベントを図２０
のイベントスタック２０００に格納するものとする。

【０１１３】図２０のイベントスタック２０００につい
て説明する。本実施例では、グループごとに図２０に示
す形式のイベントスタックを設ける。そして、入力する
外部イベントは、そのイベントが影響を与えるグループ
のイベントスタックに格納する。イベントスタックの形
式は、図９（９００）と等しいものである。図２０に例
示したのは、図１９に階層構造の第１グループ１９１０
のイベントスタックである。

【０１１４】いまステップ１３０で、図２０のように第
１グループ１９１０のイベントスタック２０００に、
「キャッシュＡ障害発生」と「共有メモリＢ障害発生」
の外部イベントがスタックされたとする。ステップ１３
５は、第１の実施例と同様、繰り返しのための判断であ
る。イベントスタック２０００に未処理イベントがある
ので、ステップ１３５からステップ１４０に進み、各状
態ノードに対して状態遷移を実行する。この処理につい
ては、図２１のフローに基づいて、以下に詳細に説明す
る。

【０１１５】まず、ステップ２１０５で、各グループに
対するイベントスタックの何れかに少なくとも１個のイ
ベントがあるか否か判別する。すべてのイベントスタッ
クが空ならフロー１４０の処理を終了する。この例では
図２０のようにイベントスタック２０００にイベントが
入っているので、ステップ２１１０に進む。

【０１１６】次に、ステップ２１１０で、処理するグル
ープを決める。１つのイベントスタックにのみイベント
が入っている場合はそのイベントスタックのグループに
決定する。複数のイベントスタックにイベントが入って
いる場合は、何れか１つのイベントスタックのグループ
に決定して処理を行ない、その後、すべてのグループに
対するイベントスタックのイベントがなくなるまで処理
を繰り返すようにする。この例では、まず図２０のイベ
ントスタックに対応するグループ（図１９の第１グルー
プ１９１０）を最初の処理対象としてステップ２１１５
に進む。

【０１１７】ステップ２１１５では、ステップ２１１０
で決定したグループのイベントスタックに少なくとも１
個のイベントがあるか否か判別する。そのイベントスタ
ックにイベントがあればステップ２１２０に進み、イベ
ントがなくなったらステップ２１０５に戻る。これは、
処理対象のグループのイベントスタックが空になるま
で、ステップ２１２０〜２１５０の処理を繰り返すため
の判断である。

【０１１８】次に、ステップ２１２０で、処理するグル
ープのイベントスタックからイベントを１個取り出す。
取り出したイベントはイベントスタックから消去され
る。この例では、図２０の外部イベント２０１０「キャ
ッシュＡ障害発生」を取り出す。もしスタックされてい
るのが内部イベントなら、｛状態ノード，状態値｝の組
み合わせを取り出す。

【０１１９】次に、ステップ２１２５で、処理している
グループに属する状態ノードのデシジョンテーブルを検
索して、ステップ２１２０で取り出したイベントを検索
する。この例では、第１グループの「キャッシュＡ」の
デシジョンテーブル（図５の５００）より、「キャッシ
ュＡ障害発生」をイベントに持つ遷移「正常→閉塞」が
１個検索される。

【０１２０】次に、ステップ２１３０で、先にステップ
２１２５で検索した遷移の中で、遷移前の状態値が、遷
移の属する状態ノードのカレント状態値と等しい遷移を
検索する。この例では、ステップ２１２５で検索した１
個の遷移の遷移前状態値「正常」は、図８に示すカレン
ト状態値格納テーブル８００から、キャッシュＡのカレ
ント状態値であるから、「正常→閉塞」が検索すべき遷
移である。

【０１２１】次に、ステップ２１３５で、先にステップ
２１３０で検索した遷移の属する状態ノードと遷移後の
状態値との組み合わせを、その影響が及ぶグループのイ
ベントスタックに内部イベントとして格納する。影響が
及ぶイベントスタックの求め方は、遷移が起こった状態
ノードに対して階層構造で直接つながっている上位の状
態ノードの属するグループを影響が及ぶイベントスタッ
クとすればよい。この例では、ステップ２１３０で検索
された遷移は、キャッシュＡの「正常→閉塞」であるか
ら、格納するのは｛キャッシュＡ、閉塞｝の組み合わせ
からなる内部イベントである。また、この遷移が起こっ
た状態ノード「キャッシュＡ」１９０５は、図１９よ
り、上位の「論理的なキャッシュＡ面」と直接つながっ
ている。「論理的なキャッシュＡ面」は第２グループに
属するので、ステップ２１３０で検索された内部イベン
ト（｛キャッシュＡ、閉塞｝の組み合わせ）は第２グル
ープのイベントスタックに格納する。

【０１２２】次に、ステップ２１４０で、ステップ２１
３０で検索した遷移に付随動作プログラムがついている
かどうか判断する。ついていない場合には、ステップ２
１５０に進む。本例では、付随動作プログラムがついて
いないのでステップ２１５０に進む。付随動作プログラ
ムがついている場合には、ステップ２１４５に進み、付
随動作プログラムの起動をかけた後、ステップ２１５０
に進む。

【０１２３】ステップ２１５０では、この遷移が起こっ
た状態ノードのカレント状態値を、ステップ２１３０で
検索した遷移後の状態値に変更する。本例では、図８の
カレント状態格納テーブル８００中のキャッシュＡのカ
レント状態値８０５を「正常」から「閉塞」に変更す
る。

【０１２４】ステップ２１５０の後、ステップ２１１５
に戻って、処理中のグループのイベントスタックに未だ
イベントが残っているか否か判別する。イベントが無け
ればステップ２１５０に進み、あればステップ２１２０
からの処理を再び行なう。本例では、未だ図２０のよう
に外部イベント「共有メモリＢ障害発生」が残っている
ので、これに対して同様にステップ２１２０〜２１４５
を繰り返す。その処理が終了して、次にステップ２１１
５に戻ったときは、第１グループのイベントスタックに
はイベントが残っていないので、ステップ２１１５から
ステップ２１０５に戻る。

【０１２５】ステップ２１０５で、未だイベントの入っ
たスタックがあるならステップ２１１０からの処理を繰
り返す。本例では、第１グループのイベントスタックは
空になったが、先にステップ２１３５で格納した内部イ
ベントが第２グループのイベントスタックに入っている
ので、それに対して処理を行なう。

【０１２６】ステップ２１０５で、すべてのイベントス
タックが空になっていたら、図２１のフロー１４０の処
理を終了し、図１のステップ１４０に戻る。そして、図
１のステップ１４０からステップ１３５に戻り、未処理
の外部イベントがなくなるまで同様の処理を繰り返す。

【０１２７】以上説明した第３の実施例では、内部イベ
ントを生成する際に発火すべきグループのイベントスタ
ックにイベントを格納することによって、内部イベント
が発火する状態ノードの検索のスピードが速くなる。

【０１２８】グループの分け方が任意の場合には、処理
を施すグループの順序を決めておく。階層木構造に基づ
いたグルーピングの場合には、下位のグループから上位
のグループに処理を進めるのが自然である。

【０１２９】次に、図２２に基づいて、上述の第１〜第
３の実施例を実現するための装置構成について説明す
る。図２２の装置構成は、グラフィック機能を持った計
算機２２０１に、入力装置２２０２、マウス２２０５、
記憶装置２２０３、および出力（ディスプレイ）装置２
２０４を接続したものである。図では、入力装置２２０
２として、キーボードおよびマウスを示したが、他の入
力装置を用いてもよいし、それらを組合わせて用いて
も、またどれか１つであってもよい。

【０１３０】計算機２２０１は、内部に中央処理装置
（ＣＰＵ）およびメモリが備えられている。図２で実施
例における処理の概要を説明したが、図２の処理２１
５，２２５，２３５は図２２の計算機２２０１内のＣＰ
Ｕで実行される処理であり、データ２０５，２１０，２
２０，２３０は図２の計算機２２０１内のメモリまたは
外部の記憶装置２２０３に保持されるデータを示す。

【０１３１】記憶装置２２０３は、磁気記憶装置に限ら
ず、光ディスクや半導体メモリであってもよい。要は、
プログラムの実行やデータのファイルを格納するために
十分な容量を備えていればよい。本発明を実施する装置
構成は、一般に計算機または計算機システムと呼ばれる
ものであればよい。当然のこととして、本発明を実施す
るために、製作した専用装置であっても、上述のような
周辺機器の機能が充足されていればよい。

【０１３２】以上、上述の各実施例によれば、複数のコ
ンポーネントがインタラクションを取りながらも独自の
動作仕様を持つようなシステム状態遷移を、異なるコン
ポーネントの関係を局所的に定義し、個々のコンポーネ
ントの動作仕様を定義するだけで、実行することができ
る。

【０１３３】このことは、複数のコンポーネントを、そ
れを実現するソフトウェア開発におけるレイヤ構造に合
わせて関係付け、コンポーネントごとの動作仕様を定義
し、外部から入力されたイベントをレイヤ構造に従っ
て、伝搬することによって実現できる。

【０１３４】また、個々のコンポーネントの動作仕様
は、従来から利用されているデシジョンテーブルの形式
を用いるため、従来からの技術者が抵抗なく、本方式を
採用することができる。

【０１３５】さらに、この方法で実行する、シミュレー
タをつくれば、実機により実行する前にシミュレーショ
ンすることができ、バグの早期発見に効果がある。

【０１３６】

【発明の効果】本発明によれば、コンポーネントの階層
木構造を実際の対象システムの構成に合わせているの
で、下位の決定表の内容を合成して上位の決定表の内容
を作ればよく、設定がしやすい。また、フラットで大き
な１枚の決定表を用いるより、階層化することで、使用
するメモリ容量を減らすことができる。さらに、複数の
テーブルを適当につないだテーブルドリブン方式に比
べ、階層構造で上下の関係を決定しているので、実行の
スピードが速い。また、イベントの伝搬が決まっている
ので、デバックがしやすく、トラブルシーケンスも容易
である。

【０１３７】以上のような効果があるので、本発明によ
って、システム状態遷移を定義する複数の状態機械の関
係と、それぞれの動作仕様に基づいて、階層間を伝搬す
るイベントを制御して、制御ソフトウェアを正しく動作
させる方法および装置を提供することができる。

【図面の簡単な説明】

【図１】本発明の一実施例に係るシステム状態遷移の実
行方法の手順を示す処理フローチャート。

【図２】本実施例の方法を実現するためのブロック図。

【図３】階層木構造を表すイメージの説明図。

【図４】階層木構造格納テーブルの例を示す説明図。

【図５】キャッシュＡのデシジョンテーブルの例を示す
説明図。

【図６】論理的なキャッシュＡ面のデシジョンテーブル
の例を示す説明図。

【図７】状態値の上下の対応格納テーブルの例を示す説
明図。

【図８】カレント状態格納テーブルの例を示す説明図。

【図９】イベントスタックの例を示す説明図。

【図１０】最下位層に初期状態を設定したときの、各ノ
ードのカレント状態値を求める処理フローチャート。

【図１１】第２層に関する、下位層の状態ノードのカレ
ント状態値の組み合わせでできる、合成状態値格納テー
ブルの例を示す説明図。

【図１２】図１のフローチャートの「各層の状態遷移の
実行」処理を詳細に説明する処理フローチャート。

【図１３】論理的なキャッシュＡ面の状態遷移前後の状
態値の組み合わせ格納テーブルの例を示す説明図。

【図１４】外部イベントを格納するスタックの例を示す
説明図。

【図１５】遷移発生フラグ格納テーブルの例を示す説明
図。

【図１６】図１２のフローとは異なる手順による、図１
のフローチャートの「各層の状態遷移の実行」処理を詳
細に説明する処理フローチャート。

【図１７】第２層に関する、イベントが入力された後
の、下位層の状態ノードのカレント状態値の組み合わせ
でできる、合成状態値格納テーブルの例を示す説明図。

【図１８】図１６の手順における、最下位以外の階層で
の、遷移後状態値の検索手順を示す処理フローチャー
ト。

【図１９】本発明の第３の実施例に係る階層木構造のグ
ループ化の説明図。

【図２０】第３の実施例におけるイベントスタックの例
を示す説明図。

【図２１】第３の実施例における「各層の状態遷移の実
行」処理を詳細に説明する処理フローチャート。

【図２２】本発明を実現するための装置構成を示す図。

【符号の説明】

２０５…カレント状態値、２１０…実行対象システムの
階層木構造、２１５…遷移ドライバ、２２０…デシジョ
ンテーブル、２２５…イベントハンドラ、２３０…イベ
ントスタック、２３５…付随動作プログラム。

フロントページの続き (72)発明者 加賀 隆志 神奈川県小田原市国府津2880番地 株式会 社日立製作所ストレージシステム事業部内

Claims (8)

【特許請求の範囲】
1. 【請求項１】少なくとも記憶装置とプログラムを実行す
   る処理装置とを備えた装置において、状態遷移とその遷
   移を生起させるイベントとの組み合わせを記憶してお
   き、入力されたイベントに基づいて、状態遷移および該
   状態遷移に付随するプログラムの実行を制御するプログ
   ラム実行方法であって、 プログラムを実行する対象システムの階層木構造を入力
   して上記記憶装置内に記憶するステップと、 該階層木構造の各ノード（状態ノードと呼ぶ）ごとに、 (i)最下位の状態ノードについては、当該状態ノードが
   取り得る状態値、当該状態ノードに直接入力される外部
   イベント、および遷移前後の状態値を入力し状態遷移決
   定表として上記記憶装置内に記憶し、 (ii)下位に状態ノードが存在する状態ノードについて
   は、当該状態ノードが取り得る状態値（下位状態ノード
   の取り得る状態値を合成した合成状態値からなる）、当
   該状態ノードに直接入力される外部イベントと下位状態
   ノードにおいて生じた状態遷移で表わされる内部イベン
   ト、および遷移前後の状態値を入力し状態遷移決定表と
   して上記記憶装置内に記憶するステップと、 上記記憶装置内に、各状態ノードの現在の状態値を記憶
   するためのカレント状態記憶領域と、発生した外部イベ
   ントおよび内部イベントを記憶するためのイベント記憶
   領域とを確保するステップと、 最下位の状態ノードの現在の状態値をカレント状態記憶
   領域に初期設定するとともに、最下位以外の状態ノード
   についても、下位状態ノードの現在の状態値を合成して
   合成状態値を求めることにより、当該状態ノードの現在
   の状態値をカレント状態記憶領域に初期設定するステッ
   プと、 上記イベント記憶領域からイベントを読み出し、 (i)読み出したイベントが外部イベントである場合に
   は、該外部イベントが入力した状態ノードの状態遷移決
   定表を参照して、現在の状態値に対して発生する遷移後
   の状態値を検索し、現在の状態値を遷移後状態値に置き
   換え、該状態ノードについての｛ノードＩＤ、遷移後の
   状態値｝の組み合わせを内部イベントとして、上記イベ
   ント記憶領域に格納し、 (ii)読み出したイベントが内部イベントである場合に
   は、上記階層木構造をたどって、該内部イベントが通知
   されるべき上位状態ノードを検索し、該上位状態ノード
   に対応する状態遷移決定表に記載されているイベントの
   中から、読み出した内部イベントと一致するものを検索
   し、検索された状態ノードにおいて現在の状態から当該
   内部イベントが入力されて生起する遷移後の状態値を検
   出し、現在の状態値を該遷移後状態値に置き換え、さら
   に該状態ノードにおいてそのような遷移が発生したこと
   を内部イベントとして上位状態ノードへ通知するために
   上記イベント記憶領域に格納するイベント処理ステップ
   と、 上記外部イベントまたは内部イベントによる遷移によっ
   て引き起こされる付随プログラムがあれば、その付随プ
   ログラムを起動する付随プログラム起動ステップとを備
   え、 上記イベント処理ステップおよび付随プログラム起動ス
   テップを、上記イベント記憶領域に格納したすべての外
   部イベントおよび内部イベントについて、さらに最終的
   に上記階層木構造におけるすべての状態ノードについ
   て、繰り返すことにより、各状態ノードにおける状態遷
   移の制御および該状態遷移に付随するプログラムの実行
   制御を行なうことを特徴とする階層化状態遷移決定表に
   基づくプログラム実行方法。
2. 【請求項２】少なくとも記憶装置とプログラムを実行す
   る処理装置とを備えた装置において、状態遷移とその遷
   移を生起させるイベントとの組み合わせを記憶してお
   き、入力されたイベントに基づいて、状態遷移および該
   状態遷移に付随するプログラムの実行を制御するプログ
   ラム実行方法であって、 プログラムを実行する対象システムの階層木構造を入力
   して上記記憶装置内に記憶するステップと、 該階層木構造の各ノード（状態ノードと呼ぶ）ごとに、 (i)最下位の状態ノードについては、当該状態ノードが
   取り得る状態値、当該状態ノードに直接入力される外部
   イベント、および遷移前後の状態値を入力し状態遷移決
   定表として上記記憶装置内に記憶し、 (ii)下位に状態ノードが存在する状態ノードについて
   は、当該状態ノードが取り得る状態値（下位状態ノード
   の取り得る状態値を合成した合成状態値からなる）、当
   該状態ノードに直接入力される外部イベント、および遷
   移前後の状態値を入力し状態遷移決定表として上記記憶
   装置内に記憶するステップと、 最下位以外のすべての状態ノードに対し、その状態ノー
   ドにおけるすべての遷移前後の状態値の組み合わせを入
   力し上記記憶装置内に記憶するステップと、 上記記憶装置内に、各状態ノードの現在の状態値を記憶
   するためのカレント状態記憶領域と、発生した外部イベ
   ントを記憶するためのイベント記憶領域と、各状態ノー
   ドごとに状態遷移が発生したことを示す遷移発生フラグ
   を記憶する領域とを確保するステップと、 上記各状態ノードごとの遷移発生フラグをすべてオフに
   初期設定するとともに、最下位の状態ノードの現在の状
   態値をカレント状態記憶領域に初期設定し、最下位以外
   の状態ノードについても、下位状態ノードの現在の状態
   値を合成して合成状態値を求めることにより、当該状態
   ノードの現在の状態値をカレント状態記憶領域に初期設
   定するステップと、 上記階層木構造の任意の状態ノードに外部イベントが入
   力されたとき、該外部イベントを上記イベント記憶領域
   から読み出し、該外部イベントが入力した状態ノードの
   状態遷移決定表を参照して、現在の状態値に対して発生
   する遷移後の状態値を検索し、現在の状態値を遷移後状
   態値に置き換えるとともに、該状態ノードで遷移が発生
   したことを示す状態ノードの遷移発生フラグをオンにす
   る外部イベント処理ステップと、 上記遷移発生フラグがオンである状態ノードが少なくと
   も１個存在している場合には、該状態ノードの上位状態
   ノードに関するすべての下位状態ノードの現在の状態値
   を読み出し、それらを合成して該上位状態ノードの状態
   値を生成し、該上位状態ノードにおいて、生成した状態
   値が遷移後の状態値でありかつ該上位状態ノードの現在
   の状態値が遷移前の状態値であるような遷移を該上位状
   態ノードにおける遷移前後の状態値の組み合わせから検
   索し、検索の結果見つかった場合は、該遷移後の状態値
   を該上位状態ノードの現在の状態値として設定し、該上
   位状態ノードの遷移発生フラグをオンにする上位ノード
   状態遷移処理ステップと、 上記遷移によって引き起こされる付随プログラムがあれ
   ば、その付随プログラムを起動する付随プログラム起動
   ステップとを備え、 上記外部イベント処理ステップ、上位ノード状態遷移処
   理ステップ、および付随プログラム起動ステップを、上
   記イベント記憶領域に格納されたイベントがなくなるま
   で、さらに遷移発生フラグがオンである状態ノードがな
   くなるまで、繰り返すことにより、各状態ノードにおけ
   る状態遷移の制御および該状態遷移に付随するプログラ
   ムの実行制御を行なうことを特徴とする階層化状態遷移
   決定表に基づくプログラム実行方法。
3. 【請求項３】少なくとも記憶装置とプログラムを実行す
   る処理装置とを備えた装置において、状態遷移とその遷
   移を生起させるイベントとの組み合わせを記憶してお
   き、入力されたイベントに基づいて、状態遷移および該
   状態遷移に付随するプログラムの実行を制御するプログ
   ラム実行方法であって、 プログラムを実行する対象システムの階層木構造を入力
   し、該階層木構造の各ノード（状態ノードと呼ぶ）をグ
   ループ分けして、上記記憶装置内に記憶するステップ
   と、 該階層木構造の各状態ノードごとに、 (i)最下位の状態ノードについては、当該状態ノードが
   取り得る状態値、当該状態ノードに直接入力される外部
   イベント、および遷移前後の状態値を入力し状態遷移決
   定表として上記記憶装置内に記憶し、 (ii)下位に状態ノードが存在する状態ノードについて
   は、当該状態ノードが取り得る状態値（下位状態ノード
   の取り得る状態値を合成した合成状態値からなる）、当
   該状態ノードに直接入力される外部イベントと下位状態
   ノードにおいて生じた状態遷移で表わされる内部イベン
   ト、および遷移前後の状態値を入力し状態遷移決定表と
   して上記記憶装置内に記憶するステップと、 上記記憶装置内に、各状態ノードの現在の状態値を記憶
   するためのカレント状態記憶領域と、発生した外部イベ
   ントおよび内部イベントを記憶するためのイベント記憶
   領域であって上記グループごとに設けられるイベント記
   憶領域と、を確保するステップと、 最下位の状態ノードの現在の状態値をカレント状態記憶
   領域に初期設定するとともに、最下位以外の状態ノード
   についても、下位状態ノードの現在の状態値を合成して
   合成状態値を求めることにより、当該状態ノードの現在
   の状態値をカレント状態記憶領域に初期設定するステッ
   プと、 上記グループごとに設けられたイベント記憶領域の何れ
   かにイベントが格納されている場合には、該グループを
   処理対象グループとして決定し、該処理対象グループに
   対応するイベント記憶領域にイベントがなくなるまで、
   該イベント記憶領域からイベントを読み出し、処理対象
   グループに属する状態ノードの状態遷移決定表から該イ
   ベントを持つ状態ノードを検索し、検索された状態ノー
   ドにおいて現在の状態から当該イベントが入力されて生
   起する遷移後の状態値を検出し、現在の状態値を該遷移
   後状態値に置き換え、さらに該状態ノードにおいてその
   ような遷移が発生したことを内部イベントとして、該遷
   移が影響を及ぼす状態ノードが含まれるグループのイベ
   ント記憶領域に格納する処理を行なうグループ内イベン
   ト処理ステップと、 上記遷移によって引き起こされる付随プログラムがあれ
   ば、その付随プログラムを起動する付随プログラム起動
   ステップとを備え、 上記グループ内イベント処理ステップおよび付随プログ
   ラム起動ステップを、上記グループごとに設けられてい
   るすべてのイベント記憶領域にイベントがなくなるまで
   繰り返すことにより、各状態ノードにおける状態遷移の
   制御および該状態遷移に付随するプログラムの実行制御
   を行なうことを特徴とする階層化状態遷移決定表に基づ
   くプログラム実行方法。
4. 【請求項４】前記階層木構造の各状態ノードのグループ
   分けは、同じ階層に属する状態ノードを１つのグループ
   としてグループ分けする請求項３に記載のプログラム実
   行方法。
5. 【請求項５】前記グループ内イベント処理ステップを施
   すグループの順序をあらかじめ決めておく請求項３に記
   載のプログラム実行方法。
6. 【請求項６】状態遷移とその遷移を生起させるイベント
   との組み合わせを記憶しておき、入力されたイベントに
   基づいて、状態遷移および該状態遷移に付随するプログ
   ラムの実行を制御するプログラム実行装置であって、 プログラムを実行する対象システムの階層木構造を記憶
   する階層木構造記憶手段と、 該階層木構造の各ノード（状態ノードと呼ぶ）ごとに、 (i)最下位の状態ノードについては、当該状態ノードが
   取り得る状態値、当該状態ノードに直接入力される外部
   イベント、および遷移前後の状態値を状態遷移決定表と
   して記憶し、 (ii)下位に状態ノードが存在する状態ノードについて
   は、当該状態ノードが取り得る状態値（下位状態ノード
   の取り得る状態値を合成した合成状態値からなる）、当
   該状態ノードに直接入力される外部イベントと下位状態
   ノードにおいて生じた状態遷移で表わされる内部イベン
   ト、および遷移前後の状態値を状態遷移決定表として記
   憶する状態遷移決定表記憶手段と、 各状態ノードの現在の状態値を記憶するためのカレント
   状態記憶手段と、 発生した外部イベントおよび内部イベントを記憶するた
   めのイベント記憶手段と、 最下位の状態ノードの現在の状態値を上記カレント状態
   記憶手段に初期設定するとともに、最下位以外の状態ノ
   ードについても、下位状態ノードの現在の状態値を合成
   して合成状態値を求めることにより、当該状態ノードの
   現在の状態値を上記カレント状態記憶手段に初期設定す
   る手段と、 上記イベント記憶手段からイベントを読み出し、 (i)読み出したイベントが外部イベントである場合に
   は、該外部イベントが入力した状態ノードの状態遷移決
   定表を参照して、現在の状態値に対して発生する遷移後
   の状態値を検索し、現在の状態値を遷移後状態値に置き
   換え、該状態ノードについての｛ノードＩＤ、遷移後の
   状態値｝の組み合わせを内部イベントとして、上記イベ
   ント記憶手段に格納し、 (ii)読み出したイベントが内部イベントである場合に
   は、上記階層木構造をたどって、該内部イベントが通知
   されるべき上位状態ノードを検索し、該上位状態ノード
   に対応する状態遷移決定表に記載されているイベントの
   中から、読み出した内部イベントと一致するものを検索
   し、検索された状態ノードにおいて現在の状態から当該
   内部イベントが入力されて生起する遷移後の状態値を検
   出し、現在の状態値を該遷移後状態値に置き換え、さら
   に該状態ノードにおいてそのような遷移が発生したこと
   を内部イベントとして上位状態ノードへ通知するために
   上記イベント記憶手段に格納するイベント処理手段と、 上記外部イベントまたは内部イベントによる遷移によっ
   て引き起こされる付随プログラムがあれば、その付随プ
   ログラムを起動する付随プログラム起動手段とを備え、 上記イベント処理および付随プログラム起動処理を、上
   記イベント記憶手段に格納したすべての外部イベントお
   よび内部イベントについて、さらに最終的に上記階層木
   構造におけるすべての状態ノードについて、繰り返すこ
   とにより、各状態ノードにおける状態遷移の制御および
   該状態遷移に付随するプログラムの実行制御を行なうこ
   とを特徴とする階層化状態遷移決定表に基づくプログラ
   ム実行装置。
7. 【請求項７】状態遷移とその遷移を生起させるイベント
   との組み合わせを記憶しておき、入力されたイベントに
   基づいて、状態遷移および該状態遷移に付随するプログ
   ラムの実行を制御するプログラム実行装置であって、 プログラムを実行する対象システムの階層木構造を記憶
   する階層木構造記憶手段と、 該階層木構造の各ノード（状態ノードと呼ぶ）ごとに、 (i)最下位の状態ノードについては、当該状態ノードが
   取り得る状態値、当該状態ノードに直接入力される外部
   イベント、および遷移前後の状態値を状態遷移決定表と
   して記憶し、 (ii)下位に状態ノードが存在する状態ノードについて
   は、当該状態ノードが取り得る状態値（下位状態ノード
   の取り得る状態値を合成した合成状態値からなる）、当
   該状態ノードに直接入力される外部イベント、および遷
   移前後の状態値を状態遷移決定表として記憶する状態遷
   移決定表記憶手段と、 最下位以外のすべての状態ノードに対し、その状態ノー
   ドにおけるすべての遷移前後の状態値の組み合わせを記
   憶する、遷移前後状態値組み合わせ記憶手段と、 各状態ノードの現在の状態値を記憶するためのカレント
   状態記憶手段と、 発生した外部イベントを記憶するためのイベント記憶手
   段と、 各状態ノードごとに状態遷移が発生したことを示す遷移
   発生フラグを記憶する遷移発生フラグ記憶手段と、 上記各状態ノードごとの遷移発生フラグをすべてオフに
   初期設定するとともに、最下位の状態ノードの現在の状
   態値をカレント状態記憶手段に初期設定し、最下位以外
   の状態ノードについても、下位状態ノードの現在の状態
   値を合成して合成状態値を求めることにより、当該状態
   ノードの現在の状態値をカレント状態記憶手段に初期設
   定する手段と、 上記階層木構造の任意の状態ノードに外部イベントが入
   力されたとき、該外部イベントを上記イベント記憶手段
   から読み出し、該外部イベントが入力した状態ノードの
   状態遷移決定表を参照して、現在の状態値に対して発生
   する遷移後の状態値を検索し、現在の状態値を遷移後状
   態値に置き換えるとともに、該状態ノードで遷移が発生
   したことを示す状態ノードの遷移発生フラグをオンにす
   る外部イベント処理手段と、 上記遷移発生フラグがオンである状態ノードが少なくと
   も１個存在している場合には、該状態ノードの上位状態
   ノードに関するすべての下位状態ノードの現在の状態値
   を読み出し、それらを合成して該上位状態ノードの状態
   値を生成し、該上位状態ノードにおいて、生成した状態
   値が遷移後の状態値でありかつ該上位状態ノードの現在
   の状態値が遷移前の状態値であるような遷移を該上位状
   態ノードにおける遷移前後の状態値の組み合わせから検
   索し、検索の結果見つかった場合は、該遷移後の状態値
   を該上位状態ノードの現在の状態値として設定し、該上
   位状態ノードの遷移発生フラグをオンにする上位ノード
   状態遷移処理手段と、 上記遷移によって引き起こされる付随プログラムがあれ
   ば、その付随プログラムを起動する付随プログラム起動
   手段とを備え、 上記外部イベント処理、上位ノード状態遷移処理、およ
   び付随プログラム起動処理を、上記イベント記憶手段に
   格納されたイベントがなくなるまで、さらに遷移発生フ
   ラグがオンである状態ノードがなくなるまで、繰り返す
   ことにより、各状態ノードにおける状態遷移の制御およ
   び該状態遷移に付随するプログラムの実行制御を行なう
   ことを特徴とする階層化状態遷移決定表に基づくプログ
   ラム実行装置。
8. 【請求項８】状態遷移とその遷移を生起させるイベント
   との組み合わせを記憶しておき、入力されたイベントに
   基づいて、状態遷移および該状態遷移に付随するプログ
   ラムの実行を制御するプログラム実行装置であって、 プログラムを実行する対象システムの階層木構造を、該
   階層木構造の各ノード（状態ノードと呼ぶ）をグループ
   分けして、記憶する階層木構造記憶手段と、 該階層木構造の各状態ノードごとに、 (i)最下位の状態ノードについては、当該状態ノードが
   取り得る状態値、当該状態ノードに直接入力される外部
   イベント、および遷移前後の状態値を状態遷移決定表と
   して記憶し、 (ii)下位に状態ノードが存在する状態ノードについて
   は、当該状態ノードが取り得る状態値（下位状態ノード
   の取り得る状態値を合成した合成状態値からなる）、当
   該状態ノードに直接入力される外部イベントと下位状態
   ノードにおいて生じた状態遷移で表わされる内部イベン
   ト、および遷移前後の状態値を状態遷移決定表として記
   憶する状態遷移決定表記憶手段と、 各状態ノードの現在の状態値を記憶するためのカレント
   状態記憶手段と、 発生した外部イベントおよび内部イベントを記憶するた
   めの、上記グループごとに設けられた、イベント記憶手
   段と、 最下位の状態ノードの現在の状態値をカレント状態記憶
   手段に初期設定するとともに、最下位以外の状態ノード
   についても、下位状態ノードの現在の状態値を合成して
   合成状態値を求めることにより、当該状態ノードの現在
   の状態値をカレント状態記憶手段に初期設定する手段
   と、 上記グループごとに設けられたイベント記憶手段の何れ
   かにイベントが格納されている場合には、該グループを
   処理対象グループとして決定し、該処理対象グループに
   対応するイベント記憶手段にイベントがなくなるまで、
   該イベント記憶手段からイベントを読み出し、処理対象
   グループに属する状態ノードの状態遷移決定表から該イ
   ベントを持つ状態ノードを検索し、検索された状態ノー
   ドにおいて現在の状態から当該イベントが入力されて生
   起する遷移後の状態値を検出し、現在の状態値を該遷移
   後状態値に置き換え、さらに該状態ノードにおいてその
   ような遷移が発生したことを内部イベントとして、該遷
   移が影響を及ぼす状態ノードが含まれるグループのイベ
   ント記憶手段に格納する処理を行なうグループ内イベン
   ト処理手段と、 上記遷移によって引き起こされる付随プログラムがあれ
   ば、その付随プログラムを起動する付随プログラム起動
   手段とを備え、 上記グループ内イベント処理および付随プログラム起動
   処理を、上記グループごとに設けられているすべてのイ
   ベント記憶手段にイベントがなくなるまで繰り返すこと
   により、各状態ノードにおける状態遷移の制御および該
   状態遷移に付随するプログラムの実行制御を行なうこと
   を特徴とする階層化状態遷移決定表に基づくプログラム
   実行装置。