JPH0573286A - 状態遷移プログラミング装置 - Google Patents

Abstract

(57)【要約】 【目的】 状態遷移情報についてプログラムの作成を容
易にすることを目的とする。 【構成】 状態遷移プログラミング装置において、状態
管理情報がひとつの状態が別の状態に遷移する場合の条
件および動作を対話的に入力し、その情報を状態遷移情
報格納ファイル５に格納する入力手段１と、状態遷移情
報格納ファイル５に格納した情報を取得し、その内容を
変更する更新手段２と、状態遷移情報格納ファイル５に
蓄積した情報を相互に関連づける連関手段３と、関連づ
けた情報からプログラムを作成し、状態遷移プログラム
ソースファイル７に出力する出力手段４とを備えたこと
を特徴とする。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、状態管理情報がひとつ
の状態から別の状態に遷移する場合の条件および動作を
示す状態遷移情報をもとに状態遷移にかかわるプログラ
ムを作成する状態遷移プログラミング装置に関する。

【０００２】

【従来の技術】従来、ひとつの状態管理情報についてプ
ログラムを作成する場合に、人が遷移条件および動作に
関する資料を整理し、プログラムを作成する処理を手作
業で行っていた。

【０００３】

【発明が解決しようとする課題】このような従来例で
は、状態遷移についてのプログラムを作成するために多
くの状態遷移情報を整理するので多くの時間が必要であ
る。人為的なミスにより誤ったプログラムを作成する可
能性がある等の欠点がある。

【０００４】本発明は、このような欠点を除去するもの
で、状態遷移情報についてプログラムの作成を容易にす
る手段をもつ状態遷移プログラミング装置を提供するこ
とを目的とする。

【０００５】

【課題を解決するための手段】本発明は、状態管理情報
が遷移する場合の遷移条件および動作を示す状態遷移情
報を格納する状態遷移情報格納ファイルと、この状態管
理情報にかかわる状態遷移プログラムを格納する状態遷
移プログラムソースファイルとを備えた状態遷移プログ
ラミング装置において、状態管理情報ごとにその遷移条
件および動作を対話的に入力して上記状態遷移情報格納
ファイルにレコードとして格納する入力手段と、上記状
態遷移情報格納ファイルに格納されたレコードの内容を
更新する更新手段と、上記状態遷移情報格納ファイルに
蓄積されたレコードの内容を相互に関連づけて指定され
た遷移条件をもつ状態遷移連関テーブルを対話的に作成
する連関手段と、この状態遷移連関テーブルを参照して
状態遷移情報格納ファイルから取得したレコードに相当
するのプログラムを自動作成し、このプログラムを上記
状態管理情報にかかわる状態遷移プログラムとして上記
状態遷移プログラムソースファイルに与える出力手段と
を備えたことを特徴とする。

【０００６】

【作用】入力手段により状態遷移情報格納ファイルに状
態管理情報識別名、状態管理情報名および遷移条件レコ
ード数を内容とする状態遷移情報管理レコード、状態管
理情報識別名、旧状態、新状態、遷移条件情報および動
作情報を内容とする状態遷移情報レコード、状態管理情
報識別名、遷移条件シーケンス番号、遷移条件を内容と
する遷移条件レコードおよび状態管理情報識別名、動作
シーケンス番号および動作を内容とする動作レコードと
が入力され、更新手段により状態遷移情報管理レコード
の更新が対話的に行われ、他のレコードにこの更新結果
が反映される。連関手段は、状態遷移情報格納ファイル
から状態遷移情報レコードを取得し、指定された遷移条
件をもつものだけを選択して状態遷移連関テーブルを作
成する。このテーブルには、遷移条件シーケンス番号、
旧状態数、旧状態および新状態とが登録される。出力手
段は、状態遷移連関テーブルをもとに状態遷移情報格納
ファイルから状態遷移情報レコード、遷移条件レコード
および動作レコードを取得してプログラムを作成し、状
態遷移プログラムソースファイルに与える。これによ
り、対話的に容易にかつ確実に状態遷移プログラムを作
成できる。

【０００７】

【実施例】以下、本発明の一実施例について図面を参照
して説明する。図１に本発明の構成図を示す。この実施
例は、図１に示すように、入力手段１、更新手段２、連
関手段３、出力手段４、状態遷移情報格納ファイル５、
状態遷移条件連関テーブル６および状態遷移プログラム
ソースファイル７から構成される。すなわち、この実施
例は、図１に示すように、状態管理情報が遷移する場合
の遷移条件および動作を示す状態遷移情報を格納する状
態遷移情報格納ファイル５と、この状態管理情報にかか
わる状態遷移プログラムを格納する状態遷移プログラム
ソースファイル７とを備え、さらに、本発明の特徴とす
る手段として、状態管理情報ごとにその遷移条件および
動作を対話的に入力して上記状態遷移情報格納ファイル
５にレコードとして格納する入力手段１と、状態遷移情
報格納ファイル５に格納されたレコードの内容を更新す
る更新手段２と、状態遷移情報格納ファイル５に蓄積さ
れたレコードの内容を相互に関連づけて指定された遷移
条件をもつ状態遷移連関テーブル６を対話的に作成する
連関手段３と、この状態遷移連関テーブル６を参照して
状態遷移情報格納ファイル５から取得したレコードに相
当するのプログラムを自動作成し、このプログラムを上
記状態管理情報にかかわる状態遷移プログラムとして状
態遷移プログラムソースファイル７に与える出力手段４
とを備える。

【０００８】図２に状態遷移情報格納ファイル５に格納
する各種レコード形式を示す。レコード形式には、状態
遷移情報管理レコード５１、状態遷移情報レコード５
６、遷移条件レコード６２および動作レコード６６の４
種類がある。状態遷移情報管理レコード５１は、状態管
理情報識別名５２、状態管理情報名５３および遷移条件
レコード数５４を含む。状態遷移情報レコード５６は、
状態管理情報識別名５７、旧状態５８、新状態５９、遷
移条件情報６０および動作情報６１を含む。遷移条件レ
コード６２は、状態管理情報識別名６３、遷移条件シー
ケンス番号６４および遷移条件６５を含む。動作レコー
ド６６は、状態管理情報識別名６７、動作シーケンス番
号６８および動作６９を含む。図３に状態遷移条件連関
テーブル６の形式を示す。状態遷移条件連関テーブル７
０は、遷移条件シーケンス番号７１、旧状態数７２、旧
状態７３および新状態７４を含む次にこの実施例につい
て図を参照して説明する。入力手段１は、入力された状
態管理情報識別名５２および状態管理情報名５３をもと
に状態遷移情報管理レコード５１を１レコード作成す
る。次に対話的に入力された状態遷移情報をもとに各種
レコードを作成する。状態遷移情報には遷移する前の旧
状態、遷移した後の新状態、このときの遷移条件および
動作がある。この状態遷移情報をもとに、状態遷移情報
レコード５６、遷移条件レコード６２および動作レコー
ド６６を作成する。状態遷移情報レコード５６は一つの
遷移につき１レコード作成する。そのために状態管理情
報識別名５７、旧状態５８および新状態５９を合わせた
領域がレコードのキーとして使用できる。遷移条件情報
６０には状態遷移するときの遷移条件に関する情報が格
納される。遷移条件情報６０はビット列の情報で、遷移
条件レコード６２の遷移条件シーケンス番号６４に相当
するビットを立てることによりどの遷移条件なのかを情
報としてもつことができる。同様に、動作情報６１も動
作レコード６６の動作シーケンス番号６８に相当するビ
ットを立てることにより動作情報を格納することができ
る。遷移条件レコード６２は一つの遷移条件に対して１
レコードを作成する。そのときに遷移条件シーケンス番
号６４を当状態管理情報識別名の遷移条件で一意になる
ように設定する。遷移条件レコード６２のキーは状態管
理情報識別名６３と遷移条件シーケンス番号６４とを合
わせたものになる。同様に、動作レコード６６も一つの
動作に対して１レコードを作成する。動作シーケンス番
号６８を当状態管理情報識別名の動作で一意になるよう
に設定し、状態管理情報識別名６７と動作シーケンス番
号６８とを合わせたものを動作レコード６６のキーとし
て使用する。最初に状態遷移情報管理レコード５１に格
納した状態管理情報識別名５２に関して、状態遷移情報
を全て入力するまで入力処理を繰り返す。状態遷移情報
を全て入力し終わったときに、状態遷移情報管理レコー
ド５１の遷移条件レコード数５４を設定する。更新手段
２では、まず入力手段１で状態遷移情報格納ファイル５
に作成した各種レコードを取得してその内容を表示す
る。そして、状態遷移情報の変更、追加および削除を対
話的に指定させ、それを状態遷移情報格納ファイル５の
各種レコードに反映する。連関手段３では、どの遷移条
件についてプログラムを作成するかを対話的に指定させ
る。そして、状態遷移情報格納ファイル５から状態遷移
情報レコード５６を取得し、指定された遷移条件を持つ
ものだけを選択し、その内容から状態遷移情報連関テー
ブル６を作成する。状態遷移条件連関テーブル７０に
は、遷移条件シーケンス番号７１、旧状態数７２、旧状
態７３および新状態７４の情報がある。この情報がひと
つの遷移条件シーケンス番号７１ごとにあり、選択され
た遷移条件の数だけこれらを作成する。旧状態７３およ
び新状態７４は旧状態数７２の分だけ作成する。出力手
段４では、連関手段３で作成した状態遷移条件連関テー
ブル６をもとにプログラムを作成する。まず、状態遷移
条件連関テーブル６のある遷移条件シーケンス番号７１
について一組ずつ旧状態７３と新状態７４とを取得し、
これらと状態管理情報識別名５２とを合わせたキーで状
態遷移情報レコード５６を取得する。また、状態管理情
報識別名５２と遷移条件シーケンス番号７１とから遷移
条件レコード６２を取得し、遷移条件６５をもとに条件
判定のプログラムを作成しておく。さらに、そのときの
状態遷移情報レコード５６の遷移条件情報６０に他の遷
移条件のビットが立っている場合は、該当する遷移条件
レコード６２を全て取得し、条件判定のプログラムを作
成する。つぎに、動作情報６１から該当する動作レコー
ドをすべて取得し、プログラムに反映する。以上の処理
をその遷移条件シーケンス番号７１に登録している旧状
態数７２の分だけ実行する。さらに、これを状態遷移条
件連関テーブル７０に登録している遷移条件シーケンス
番号７１のすべてについて行う。最後に作成したプログ
ラムをチェックして論理的矛盾の解消や最適化を図る。
以上の処理により状態遷移に関するプログラムを作成で
きる。

【０００９】

【発明の効果】本発明は、以上説明したように、対話的
に入力して蓄積した状態遷移情報をもとに機械的にプロ
グミングを行うので、作業の効率化が図れる効果があ
る。また、状態遷移情報とプログラムの内容が一致して
おり、両者の間に人為的ミスを発生させない効果があ
る。

【図面の簡単な説明】

【図１】本発明実施例の構成を示すブロック構成図。

【図２】図１に含まれ状態遷移格納ファイルに格納する
レコードの形式を示す図。

【図３】図１に含まれ状態遷移条件連関デーブル形式を
示す図。

【符号の説明】 １ 入力手段 ２ 更新手段 ３ 連関手段 ４ 出力手段 ５ 状態遷移情報格納ファイル ６ 状態遷移条件連関テーブル ７ 状態遷移プログラムソースファイル

Claims (1)

【特許請求の範囲】
1. 【請求項１】 状態管理情報が遷移する場合の遷移条件
   および動作を示す状態遷移情報を格納する状態遷移情報
   格納ファイルと、この状態管理情報にかかわる状態遷移
   プログラムを格納する状態遷移プログラムソースファイ
   ルとを備えた状態遷移プログラミング装置において、 状態管理情報ごとにその遷移条件および動作を対話的に
   入力して上記状態遷移情報格納ファイルにレコードとし
   て格納する入力手段と、 上記状態遷移情報格納ファイルに格納されたレコードの
   内容を更新する更新手段と、 上記状態遷移情報格納ファイルに蓄積されたレコードの
   内容を相互に関連づけて指定された遷移条件をもつ状態
   遷移連関テーブルを対話的に作成する連関手段と、 この状態遷移連関テーブルを参照して状態遷移情報格納
   ファイルから取得したレコードに相当するのプログラム
   を自動作成し、このプログラムを上記状態管理情報にか
   かわる状態遷移プログラムとして上記状態遷移プログラ
   ムソースファイルに与える出力手段とを備えたことを特
   徴とする状態遷移プログラミング装置。